Issue #27896: Allow passing sphinx options to Doc/Makefile

Patch written by Julien Palard.

diff --git a/Doc/Makefile b/Doc/Makefile
index 2220d92d91ceab4a58f40fa414e0247c161cbe71..c3f1b376a7a31c4f1deaf2af10c97b61f8e5411a 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -157,12 +157,12 @@ serve:
 
 # 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