-
-
Notifications
You must be signed in to change notification settings - Fork 38
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
What is generate_indexes.py needed for? #46
Comments
It puts the "dev docs" and "latest docs" links at the top. It used to do all the versions before we removed those. Moving to an actions on this repo would be fine if that ends up being easier. We could also preprocess the html after building before deploying on the sympy side. |
Do you mean the left hand side bar? Where it says:
That's the only difference I see between a local sphinx build and the hosted docs. I would have thought that the cleanest thing would be to get sphinx to add that in the sidebar so that no post-processing is needed (although I don't actually know how to do that).
That's what It's called by |
Yeah, but the difference is doctr runs the script in the sympy_doc repo, but it could just as easily be run in the sympy repo. |
Yes, that's a good point. That would also simplify things. Potentially it could be part of the |
Right now the script reads the HTML to determine what the version is to put in the parentheses, but in the SymPy repo this could easily be determined from the git tags. |
I also asked earlier on the sphinx-users ML how to get Sphinx to add the links but no response yet: |
I'm about to become extremely busy at work. I hoped to get this done this weekend but now that has passed I probably don't have the capacity to do this. |
There is an answer now on the Sphinx mailing list:
|
I'm looking at migrating from doctr/Travis to actions for updating the dev docs. I've also discussed this here: drdoctr/doctr#351 (comment)
It should be straight-forward to switch to Actions but it seems we need the
generate_indexes.py
script to run and that complicates using the available actions that can deploy to the docs. The script is currently run on Travis when updating the dev docs and also when updating the release docs as part of the release process. It seems to me that the obvious thing to do is to set up an action on this repo that runsgenerate_indexes.py
each time a push is made here. That would simplify things at the other end because it means changes just need to be pushed and this repo will manage itself.However when I look into the
generate_indexes.py
script I'm not clear what it's actually doing or if it is really needed.The text was updated successfully, but these errors were encountered: