From 01f47e82a3e6bccce7dddea63fa64fec29748112 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Sun, 28 Oct 2012 08:09:02 +0100 Subject: [PATCH] Add a autobuild-quick target that only rebuilds HTML. --- Doc/Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Doc/Makefile b/Doc/Makefile index a6dc1e289f9..a774aad0aa3 100644 --- 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 +