Issue #27896: Allow passing sphinx options to Doc/Makefile
Patch written by Julien Palard.
diff --git a/Doc/Makefile b/Doc/Makefile
index 878685d..10c3288 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -162,12 +162,12 @@
# for development releases: always build
autobuild-dev:
- make dist SPHINXOPTS='-A daily=1 -A versionswitcher=1'
+ make dist SPHINXOPTS='$(SPHINXOPTS) -A daily=1 -A versionswitcher=1'
-make suspicious
# for quick rebuilds (HTML only)
autobuild-dev-html:
- make html SPHINXOPTS='-A daily=1 -A versionswitcher=1'
+ make html SPHINXOPTS='$(SPHINXOPTS) -A daily=1 -A versionswitcher=1'
# 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