diff options
author | Victor Stinner <victor.stinner@gmail.com> | 2016-10-16 19:14:23 +0200 |
---|---|---|
committer | Victor Stinner <victor.stinner@gmail.com> | 2016-10-16 19:14:23 +0200 |
commit | 7630e3e5b31d605b003bdd8856edaaf2d8ae69db (patch) | |
tree | 1717f74a4740543d5f4c14668a0dbbf6c13eea96 | |
parent | 6cf5f5721762a4f21679137869fa1ee78cba0a9c (diff) | |
download | cpython-7630e3e5b31d605b003bdd8856edaaf2d8ae69db.tar.gz |
Issue #27896: Allow passing sphinx options to Doc/Makefile
Patch written by Julien Palard.
-rw-r--r-- | Doc/Makefile | 4 |
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 |