diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-01-18 01:50:06 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-01-18 01:50:06 +0100 |
commit | dd6d4b01c287edce31af854cc8f88cceef21ca1c (patch) | |
tree | 23dfecbcb575b3ea46a5e60a00bba5ce1ebd3adb /Makefile | |
parent | 5e35bf4b6e5d4f441fbfda4724ac23a8af03e51b (diff) | |
download | docs-dd6d4b01c287edce31af854cc8f88cceef21ca1c.tar.gz docs-dd6d4b01c287edce31af854cc8f88cceef21ca1c.tar.bz2 docs-dd6d4b01c287edce31af854cc8f88cceef21ca1c.zip |
Always clean state when generating HTML.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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." |