allow archives for rc releases to be built (closes #22484)

diff --git a/Doc/Makefile b/Doc/Makefile
index 43dd80478a1e6b1fa0dfbd6c1e50baa7c40d3661..ec35c12873cdc47713c98ac907d5dfc651e8ebda 100644 (file)
--- 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