X-Git-Url: https://git.cworth.org/git?a=blobdiff_plain;f=doc%2FMakefile.local;h=cb0f1f6488f6d9cbe0e3e8d345c5d90053c2de9c;hb=dcf7fca2d9f87fc4d412dbbba8e441d9ff204ffc;hp=16459e3544c2d7d668691ad89e3f20457dcf77b3;hpb=e88297c072e6bfbeaedc1287ec695ca37537255e;p=notmuch diff --git a/doc/Makefile.local b/doc/Makefile.local index 16459e35..cb0f1f64 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -37,6 +37,14 @@ INFO_INFO_FILES := $(INFO_TEXI_FILES:.texi=.info) %.gz: % rm -f $@ && gzip --stdout $^ > $@ +# Sequentialize the calls to sphinx-build to avoid races with +# reading/writing cached state. This uses GNU make specific +# "order-only" prerequisites. + +sphinx-html: | $(DOCBUILDDIR)/.roff.stamp +sphinx-texinfo: | sphinx-html +sphinx-info: | sphinx-texinfo + sphinx-html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html