diff options
| author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-03-14 10:38:50 -0700 |
|---|---|---|
| committer | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-03-14 13:16:22 -0700 |
| commit | 525cc22591bd4c75949b4698e6b634b9de411a2a (patch) | |
| tree | f62225698d93bf040f2178cea6d3a585f75ea8d4 /doc | |
| parent | 2983888c432211fe3eafa18fcf58c69f69473e9e (diff) | |
Documentation clean target cleans better
Instead of deleting the html folder, and thus blowing away the
submodule, delete the contents so that when we rebuild the docs we get
rid of old versions we don't need.
Signed-off-by: Nathaniel Graff <nathaniel.graff@sifive.com>
Diffstat (limited to 'doc')
| -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 |