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