diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-01-18 02:14:12 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-01-18 02:14:12 +0100 |
commit | aaf44d8f8f692c03a448313354e53e6a42025f34 (patch) | |
tree | 932bf91748f7e3ffc2bc62761d1f7a723b8ff23d /Makefile | |
parent | 6e3827f3da4428e68a31bf9eb94f3b48fc643aa4 (diff) | |
download | docs-aaf44d8f8f692c03a448313354e53e6a42025f34.tar.gz docs-aaf44d8f8f692c03a448313354e53e6a42025f34.tar.bz2 docs-aaf44d8f8f692c03a448313354e53e6a42025f34.zip |
comment
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |