summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVictor Stinner <victor.stinner@gmail.com>2016-10-16 19:14:23 +0200
committerVictor Stinner <victor.stinner@gmail.com>2016-10-16 19:14:23 +0200
commit7630e3e5b31d605b003bdd8856edaaf2d8ae69db (patch)
tree1717f74a4740543d5f4c14668a0dbbf6c13eea96
parent6cf5f5721762a4f21679137869fa1ee78cba0a9c (diff)
downloadcpython-7630e3e5b31d605b003bdd8856edaaf2d8ae69db.tar.gz
Issue #27896: Allow passing sphinx options to Doc/Makefile
Patch written by Julien Palard.
-rw-r--r--Doc/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile
index 878685dd7a..10c3288c59 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -162,12 +162,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