summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index c0272779..af3a84e9 100644
--- 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