Add a autobuild-quick target that only rebuilds HTML.
diff --git a/Doc/Makefile b/Doc/Makefile
index 38745db..4052bab 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -171,6 +171,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]*) \
@@ -178,3 +182,4 @@
exit 1;; \
esac
@make autobuild-dev
+