Add a autobuild-quick target that only rebuilds HTML.

diff --git a/Doc/Makefile b/Doc/Makefile
index a6dc1e289f9772dca1dbf63829057a9edf8cb344..a774aad0aa328e69927433c3e15a997bc681fa7a 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -187,6 +187,10 @@ autobuild-dev:
        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 @@ autobuild-stable:
                exit 1;; \
        esac
        @make autobuild-dev
+