Docs: add html-stable autobuild variant
diff --git a/Doc/Makefile b/Doc/Makefile
index ea30231..2220d92 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -161,7 +161,7 @@
-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 @@
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