From 4f0fe36c47a43950f6f4df82630ef062976ebceb Mon Sep 17 00:00:00 2001 From: David Bremner Date: Sun, 21 Apr 2019 14:00:18 -0300 Subject: [PATCH] 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. --- doc/Makefile.local | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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