diff options
| author | David Bremner <david@tethera.net> | 2019-04-21 14:00:18 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-04-24 06:53:13 -0300 |
| commit | 4f0fe36c47a43950f6f4df82630ef062976ebceb (patch) | |
| tree | de059408d3d911f0b730ccaca40e5a41f916ede6 | |
| parent | f0399db513ce2f12b94cd8aefe54be408d39fb62 (diff) | |
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.
| -rw-r--r-- | doc/Makefile.local | 6 |
1 files changed, 5 insertions, 1 deletions
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 |