From efd713b82b49db333a3a7edda450e69b53dc03ec Mon Sep 17 00:00:00 2001 From: Benjamin Peterson Date: Wed, 24 Sep 2014 20:22:24 -0400 Subject: [PATCH] allow archives for rc releases to be built (closes #22484) --- Doc/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Doc/Makefile b/Doc/Makefile index 43dd80478a1..ec35c12873c 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