From 3c49e59b6ece60cf71162af59bf9b85844434dec Mon Sep 17 00:00:00 2001 From: "Jules Lasne (jlasne)" Date: Wed, 14 Nov 2018 21:02:56 +0100 Subject: [PATCH] Updated Makefile to add quick building option --- Doc/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Doc/Makefile b/Doc/Makefile index 307d1e0e7de10b..fa0d24e43d96e7 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -191,6 +191,10 @@ autobuild-dev: autobuild-dev-html: make html SPHINXOPTS='$(SPHINXOPTS) -Ea -A daily=1 -A switchers=1' +# for quick rebuilds (HTML only) +quickbuild-dev-html: + make html SPHINXOPTS='$(SPHINXOPTS) -A daily=1 -A switchers=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 autobuild-stable: