search

trustin / sphinx-gradle-plugin

Sphinx site generation plugin for Gradle
https://trustin.github.io/sphinx-gradle-plugin/
Apache License 2.0
18 stars 7 forks source link

Add doctree redirects #14

Closed firthl closed 4 years ago

firthl commented 4 years ago

This should add the ability to redirect the pickle'd sources sphinx generates. I'm hitting some gradle caching issues so want to be able to move them out of the gradle task output folder and into a different directory.

Sphinx docs on the flag is here: https://www.sphinx-doc.org/en/master/man/sphinx-build.html#cmdoption-sphinx-build-d

Added source and testing for the new option.

Do you need me to do anything else for it? Is the wording okay? I tried to stay as close to your style as possible. :)

trustin commented 4 years ago

Sorry I missed this PR. Thanks a lot!