X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=doc%2FMakefile.local;fp=doc%2FMakefile.local;h=bab3d0d286ce75efe68433b3a8c82ab87eac7dd6;hp=f53b3702fb9dc8ca175605ad64056520ffd680ff;hb=71eaa19350883b30bafe885ea083c2e3f1621e10;hpb=872bd134e3ba860236661a202965a3d7447e7af7

diff --git a/doc/Makefile.local b/doc/Makefile.local
index f53b3702..bab3d0d2 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -41,6 +41,14 @@ ifeq ($(WITH_EMACS),1)
 $(DOCBUILDDIR)/.roff.stamp sphinx-html sphinx-texinfo: docstring.stamp
 endif
 
+# 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