-
Notifications
You must be signed in to change notification settings - Fork 148
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
pre-0.4.0 Documentation #318
Conversation
…local sphinx style, and reorganizing main index
- updated build type stages - added scripts for recording examples - added scripts for capturing CLI interfaces to txt files - moved catkin tools history to specific history page - simplified index - updated build mechanics for new features - added migration guide with troubleshooting based on observed use cases - updated quick start with asciinemas - updated build with asciinemas - added env verb - added example resources to installation
…graphs, fixing some typos
- regenerating examples and cli interfaces - switching all text to sentence-per-line - adding scripts and documentation for regenerating examples - moving --locate-extra-shell-verbs to locate verb - adding details on linked develspace
@wjwwood It looks like the |
b912cc4
to
8d54ee6
Compare
Can you just conditionally import it in the |
Possibly, now that it's passing on all CI variants. I just wanted to do something fast to get it working. |
@wjwwood All checks passing. |
And building on RTD: http://catkin-tools.readthedocs.org/en/pre-0.4.0-docs-rebase/ |
While reviewing the documentation I noticed: #319 |
Pushed some commits. |
I'm gonna merge this and we can fix up things in follow up PR's and issues. Thanks @jbohren this is a really great improvement to the docs. 🎉 |
@jbohren looks like RTD is failing on master after merging this: https://readthedocs.org/projects/catkin-tools/builds/3910003/ Something about duplicate entries of |
Sure enough it was in the |
Imo the "Migrating from catkin_make" pages suffers from the fact that it mixes two aspects. The step to move from |
Rebased PR thanks to @wjwwood to supersede #250.