Add a autobuild-quick target that only rebuilds HTML.
diff --git a/Doc/Makefile b/Doc/Makefile
index a6dc1e2..a774aad 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -187,6 +187,10 @@
make update
make dist SPHINXOPTS='-A daily=1 -A versionswitcher=1'
+# for quick rebuilds (HTML only)
+autobuild-html:
+ make html SPHINXOPTS='-A daily=1 -A versionswitcher=1'
+
# for stable releases: only build if not in pre-release stage (alpha, beta, rc)
autobuild-stable:
@case $(DISTVERSION) in *[abc]*) \
@@ -194,3 +198,4 @@
exit 1;; \
esac
@make autobuild-dev
+