Skip to content

Conversation

@emmanuelle
Copy link
Contributor

No description provided.

@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
rename 's/graph_objs/graph_objects/' _build/html/*.html _build/html/generated/*.html
sed -i 's/graph_objs/graph_objects/g' _build/html/*.html _build/html/generated/*.html
sed -i 's/graph_objs/graph_objects/g' _build/html/*.html
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

could we just have one big sed command with **/** or something that would catch all these cases?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

oh yes probably I just got confused with the syntax. Will try again.

@nicolaskruchten
Copy link
Contributor

💃

@emmanuelle emmanuelle merged commit 46cd47f into master Mar 12, 2020
@emmanuelle emmanuelle deleted the fix-search-index branch March 27, 2020 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants