From 7022966906511f29b0dd4a283928007a838dbe69 Mon Sep 17 00:00:00 2001 From: Adam Turner <9087854+AA-Turner@users.noreply.github.com> Date: Mon, 30 Sep 2024 17:48:12 +0100 Subject: [PATCH] Doc: Run HTML and non-HTML daily builds separately (GH-124493) (cherry picked from commit cce1125574f7b74343afda4bd0030706f67e13df) Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com> --- Doc/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Doc/Makefile b/Doc/Makefile index a2d89343648dc1..70ad703ac77e82 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