Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[17.09] Migrate documentation for setting up a production instance to Galaxy. #5135
This is a bugfix for the soon to be introduced bug of missing documentation for 17.09 and before. 18.01 will require a significant rewrite of these pages for the uWSGI and configuration changes to Galaxy. Since we are now hosting older branches of these docs including the release_17.09, backporting this configuration documentation will allow us to provide permanent links to this 17.09 variant of all this documentation (with the final copy of information about Paste and galaxy.ini).
This content currently migrates 8 pages of important admin documentation.
The following 4 pages have been migrated to the main admin section of the Galaxy docs:
The following 4 pages have been migrated to the "special topics" admin section of the Galaxy docs:
This PR also includes small tweaks to sphinx documentation generation.
Additionally this PR includes updates to this documentation above and beyond what is on the corresponding Hub pages to reflect more of the state of art as of 17.09 including:
That's super cool, I was worried about this how we can document the new changes and keep the old ones. And this is clearly the way to go! I also like to keep the docs close to the source, I think we discussed this before but never did this move. Big thanks @jmchilton! This IS awesome!
Great step in the direction we want to go - provide readthedocs-like experience for version-bound documentation. Next piece of the puzzle would probably be an actual DOM element that provides the version selector.
I think this is very important for the Oslo admin training and labeling missing docs as a bug seems appropriate.
Thank you John.