From: David Bremner <david@tethera.net>
Date: Sun, 21 Apr 2019 17:00:18 +0000 (-0300)
Subject: doc: use stamp file for html docs
X-Git-Tag: archive/debian/0.29_rc0-1~98
X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=4f0fe36c47a43950f6f4df82630ef062976ebceb;p=notmuch-old

doc: use stamp file for html docs

These are less time consuming than the texi docs to rebuild (because
the texi rebuild triggers info rebuild), but still take noticable time.
---

diff --git a/doc/Makefile.local b/doc/Makefile.local
index fada1fa2..57104dae 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -50,8 +50,11 @@ sphinx-html: | $(DOCBUILDDIR)/.roff.stamp
 sphinx-texinfo: | sphinx-html
 sphinx-info: | sphinx-texinfo
 
-sphinx-html:
+sphinx-html: $(DOCBUILDDIR)/.html.stamp
+
+$(DOCBUILDDIR)/.html.stamp: $(ALL_RST_FILES)
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html
+	touch $@
 
 sphinx-texinfo: $(DOCBUILDDIR)/.texi.stamp
 
@@ -142,4 +145,5 @@ $(dir)/config.dox: version.stamp
 	echo "INPUT=${srcdir}/lib/notmuch.h" >> $@
 
 CLEAN := $(CLEAN) $(DOCBUILDDIR) $(DOCBUILDDIR)/.roff.stamp $(DOCBUILDDIR)/.texi.stamp
+CLEAN := $(CLEAN) $(DOCBUILDDIR)/.html.stamp
 CLEAN := $(CLEAN) $(MAN_GZIP_FILES) $(MAN_ROFF_FILES) $(dir)/conf.pyc $(dir)/config.dox