mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-24 20:08:10 +01:00
doc: sequentialize calls to sphinx-build
In certain conditions the parallel calls to sphinx-build could collide, yielding a crash like Exception occurred: File "/usr/lib/python3/dist-packages/sphinx/environment.py", line 1261, in get_doctree doctree = pickle.load(f) EOFError: Ran out of input
This commit is contained in:
parent
e88297c072
commit
dcf7fca2d9
1 changed files with 8 additions and 0 deletions
|
@ -37,6 +37,14 @@ INFO_INFO_FILES := $(INFO_TEXI_FILES:.texi=.info)
|
||||||
%.gz: %
|
%.gz: %
|
||||||
rm -f $@ && gzip --stdout $^ > $@
|
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:
|
sphinx-html:
|
||||||
$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html
|
$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue