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
Push the docs from Circle CI into github #268
Read the docs has built our docs for a long time, and it has some limitations. For example we can not build the examples gallery for mayavi. And with PR #244, we need to have the jupyter notebooks on a github repository to use binder.
This PR builds the documentation on CircleCI and if succesful it pushed the results to github pages.
Another option would be to use a tool such as
You can run sphinx as a part of the build process, and then configure doctr to push to