allow doc archives to be built for versions in the rc stage

diff --git a/Doc/Makefile b/Doc/Makefile
index 61ccf846b14e17660acd93484298b188aa8ccdb8..afdf35f676e07197509c63f91f12bd48c733f401 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -176,9 +176,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