diff options
| author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-03-18 21:24:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-18 21:24:29 +0000 |
| commit | 732f4902aadcd5bda62c8ea0858112a06580406d (patch) | |
| tree | 3e80bee21e4aef121da21a9d320effcf55942352 /doc | |
| parent | 30c143eb5445f47edb351ba54c84ff8285dc27a9 (diff) | |
| parent | 850f9944adb0a0b62d467e5e78662d9e03eaa07d (diff) | |
Merge pull request #206 from sifive/doc-build
Update the Documentation Makefile
Diffstat (limited to 'doc')
| -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. |