summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathaniel Graff <nathaniel.graff@sifive.com>2019-03-14 10:38:50 -0700
committerNathaniel Graff <nathaniel.graff@sifive.com>2019-03-14 13:16:22 -0700
commit525cc22591bd4c75949b4698e6b634b9de411a2a (patch)
treef62225698d93bf040f2178cea6d3a585f75ea8d4
parent2983888c432211fe3eafa18fcf58c69f69473e9e (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>
-rw-r--r--doc/Makefile6
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