summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNathaniel Graff <nathaniel.graff@sifive.com>2019-03-18 21:24:29 +0000
committerGitHub <noreply@github.com>2019-03-18 21:24:29 +0000
commit732f4902aadcd5bda62c8ea0858112a06580406d (patch)
tree3e80bee21e4aef121da21a9d320effcf55942352 /doc
parent30c143eb5445f47edb351ba54c84ff8285dc27a9 (diff)
parent850f9944adb0a0b62d467e5e78662d9e03eaa07d (diff)
Merge pull request #206 from sifive/doc-build
Update the Documentation Makefile
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile6
-rw-r--r--doc/sphinx/conf.py2
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.