diff options
| -rw-r--r-- | Doc/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index ea30231..2220d92 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 |