commit dd6d4b01c287edce31af854cc8f88cceef21ca1c
parent 5e35bf4b6e5d4f441fbfda4724ac23a8af03e51b
Author: Florian Dold <florian.dold@gmail.com>
Date: Mon, 18 Jan 2016 01:50:06 +0100
Always clean state when generating HTML.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git 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."