Docs: add html-stable autobuild variant

diff --git a/Doc/Makefile b/Doc/Makefile
index ea3023157dd75bb1f92ccc92325afe6220351587..2220d92d91ceab4a58f40fa414e0247c161cbe71 100644 (file)
--- 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