diff options
| -rw-r--r-- | Doc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 43dd804..ec35c12 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -165,9 +165,10 @@ autobuild-dev: autobuild-html: make html SPHINXOPTS='-A daily=1 -A versionswitcher=1' -# for stable releases: only build if not in pre-release stage (alpha, beta, rc) +# for stable releases: only build if not in pre-release stage (alpha, beta) +# release candidate downloads are okay, since the stable tree can be in that stage autobuild-stable: - @case $(DISTVERSION) in *[abc]*) \ + @case $(DISTVERSION) in *[ab]*) \ echo "Not building; $(DISTVERSION) is not a release version."; \ exit 1;; \ esac |