diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index a42e98b..878685d 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -166,7 +166,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) @@ -177,3 +177,10 @@ autobuild-stable: exit 1;; \ 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 |