We could make https://github.com/snide/sphinx_rtd_theme a subtree or submodule in our repo to have the theme automagically. Right now it has to be installed with pip.
If we change, minor changes are needed to docs/conf.py
Have added the theme as a subtree, using merge and read-tree. Had to hack a little to get remote commits squashed into one (not to pollute the josync history), so don't want to merge into main branches yet.
We could make https://github.com/snide/sphinx_rtd_theme a subtree or submodule in our repo to have the theme automagically. Right now it has to be installed with pip.
If we change, minor changes are needed to docs/conf.py