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: