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/sphinx | |
| parent | 30c143eb5445f47edb351ba54c84ff8285dc27a9 (diff) | |
| parent | 850f9944adb0a0b62d467e5e78662d9e03eaa07d (diff) | |
Merge pull request #206 from sifive/doc-build
Update the Documentation Makefile
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
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. |