Add a autobuild-quick target that only rebuilds HTML.

birkenfeld · birkenfeld · commit 01f47e82a3e6 · 2012-10-28T08:09:02.000+01:00
diff --git a/Doc/Makefile b/Doc/Makefile
@@ -187,10 +187,15 @@ 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]*) \
 		echo "Not building; $(DISTVERSION) is not a release version."; \
 		exit 1;; \
 	esac
 	@make autobuild-dev
+
