commit aaf44d8f8f692c03a448313354e53e6a42025f34
parent 6e3827f3da4428e68a31bf9eb94f3b48fc643aa4
Author: Florian Dold <florian.dold@gmail.com>
Date: Mon, 18 Jan 2016 02:14:12 +0100
comment
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -49,6 +49,8 @@ help:
clean:
rm -rf $(BUILDDIR)/*
+# The html-linked builder does not support caching, so we
+# remove all cached state first.
html:
rm -rf $(BUILDDIR)/*
$(SPHINXBUILD) -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html