From 5df6d48ce5d811914b644c79e2c3c2449ce0305a Mon Sep 17 00:00:00 2001 From: Victor Stinner Date: Sun, 16 Oct 2016 19:14:23 +0200 Subject: [PATCH] Issue #27896: Allow passing sphinx options to Doc/Makefile Patch written by Julien Palard. --- Doc/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Doc/Makefile b/Doc/Makefile index 2220d92d91..c3f1b376a7 100644 --- 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 -- 2.50.1