If I am editing a theme, Sphinx does not trigger rebuilds based on theme changes; I have to do make clean and make html again, which can take quite a bit of time for a large document tree.
It would be helpful if, while editing theme elements, if I could configure Sphinx in a mode where it would "do the right thing":
- if just .css and static elements have changed, then just copy these files to the build output
- if theme templates have changed, then all the output files need to be re-rendered
see http://stackoverflow.com/questions/38794431/how-to-use-sphinx-build-when-developing-a-theme-sphinx-doesnt-seem-to-recogni
If I am editing a theme, Sphinx does not trigger rebuilds based on theme changes; I have to do
make cleanandmake htmlagain, which can take quite a bit of time for a large document tree.It would be helpful if, while editing theme elements, if I could configure Sphinx in a mode where it would "do the right thing":
see http://stackoverflow.com/questions/38794431/how-to-use-sphinx-build-when-developing-a-theme-sphinx-doesnt-seem-to-recogni