summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2016-01-18 01:50:06 +0100
committerFlorian Dold <florian.dold@gmail.com>2016-01-18 01:50:06 +0100
commitdd6d4b01c287edce31af854cc8f88cceef21ca1c (patch)
tree23dfecbcb575b3ea46a5e60a00bba5ce1ebd3adb /Makefile
parent5e35bf4b6e5d4f441fbfda4724ac23a8af03e51b (diff)
downloaddocs-dd6d4b01c287edce31af854cc8f88cceef21ca1c.tar.gz
docs-dd6d4b01c287edce31af854cc8f88cceef21ca1c.tar.bz2
docs-dd6d4b01c287edce31af854cc8f88cceef21ca1c.zip
Always clean state when generating HTML.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 8b06d5d3..c0272779 100644
--- a/Makefile
+++ b/Makefile
@@ -50,6 +50,7 @@ clean:
rm -rf $(BUILDDIR)/*
html:
+ rm -rf $(BUILDDIR)/*
$(SPHINXBUILD) -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html
@echo
@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."