From 4b9e75ba7f5d2f0baf0603eed9b4029af8e82ff3 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Wed, 15 Jun 2016 08:57:32 +0200
Subject: [PATCH] Docs: add html-stable autobuild variant

---
 Doc/Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index ea3023157dd..2220d92d91c 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -161,7 +161,7 @@ autobuild-dev:
 	-make suspicious
 
 # for quick rebuilds (HTML only)
-autobuild-html:
+autobuild-dev-html:
 	make html SPHINXOPTS='-A daily=1 -A versionswitcher=1'
 
 # for stable releases: only build if not in pre-release stage (alpha, beta)
@@ -173,3 +173,9 @@ autobuild-stable:
 	esac
 	@make autobuild-dev
 
+autobuild-stable-html:
+	@case $(DISTVERSION) in *[ab]*) \
+		echo "Not building; $(DISTVERSION) is not a release version."; \
+		exit 1;; \
+	esac
+	@make autobuild-dev-html