diff options
| author | Adam Turner <9087854+AA-Turner@users.noreply.github.com> | 2024-09-30 16:48:12 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-30 16:48:12 (GMT) |
| commit | cce1125574f7b74343afda4bd0030706f67e13df (patch) | |
| tree | 0f55f98024644e7b70e16b4bc2c88f9782e6f864 /Doc/Makefile | |
| parent | 6f4d64b048133c60d40705fb5ef776f78c7dd710 (diff) | |
| download | cpython-cce1125574f7b74343afda4bd0030706f67e13df.zip cpython-cce1125574f7b74343afda4bd0030706f67e13df.tar.gz cpython-cce1125574f7b74343afda4bd0030706f67e13df.tar.bz2 | |
Doc: Run HTML and non-HTML daily builds separately (#124493)
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index a2d8934..70ad703 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -306,12 +306,12 @@ serve: # for development releases: always build .PHONY: autobuild-dev autobuild-dev: - $(MAKE) dist SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' + $(MAKE) dist-no-html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' -# for quick rebuilds (HTML only) +# for HTML-only rebuilds .PHONY: autobuild-dev-html autobuild-dev-html: - $(MAKE) html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1' + $(MAKE) dist-html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=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 |