diff options
| -rw-r--r-- | doc/Makefile | 6 | ||||
| -rw-r--r-- | doc/sphinx/conf.py | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index 972a080..dd9ce13 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -10,13 +10,13 @@ all: html ########################### .PHONY: html -html: html/index.html +html: clean html/index.html -# Use Sphinx to build HTML from Doxygen XML +# Use Sphinx to build HTML documentation html/index.html: sphinx/* sphinx-build -b html sphinx html .PHONY: clean clean: - rm -rf html + rm -rf html/* html/.buildinfo html/.doctrees diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index d41a8a8..804ca5b 100644 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -40,7 +40,7 @@ release = version # ones. extensions = [ 'sphinx.ext.intersphinx', - 'sphinx.ext.githubpages', + 'sphinx.ext.githubpages', # Creates the .nojekyll file for GitHub Pages ] # Add any paths that contain templates here, relative to this directory. |