diff options
| author | David Bremner <david@tethera.net> | 2019-03-06 08:53:26 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-03-06 08:53:26 -0400 |
| commit | 71eaa19350883b30bafe885ea083c2e3f1621e10 (patch) | |
| tree | 4991cb0b0ac8ab84177df05a2418fbd83e83051c /doc/Makefile.local | |
| parent | 872bd134e3ba860236661a202965a3d7447e7af7 (diff) | |
| parent | d124c0e416bb59cc4cbdca7694bae7097dcee810 (diff) | |
Merge branch 'release'
Changes from 0.28.3
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 8 |
1 files changed, 8 insertions, 0 deletions
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 |