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 /doc | |
| 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.
Diffstat (limited to 'doc')
| -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 |