diff options
| author | David Bremner <david@tethera.net> | 2021-12-24 12:20:31 -0400 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2021-12-25 07:32:27 -0400 |
| commit | 02d8ff376d77e5d96389c30576221a7ac5b4bea1 (patch) | |
| tree | 5bdf5e2e514fcce39c22839e8ed8136ca3963480 /doc/Makefile.local | |
| parent | cea1604a087645d07998c6986a8678b2af239322 (diff) | |
doc: add dep. on stamp file for rebuilding gzipped man pages.
In [1] Daniel observed that the gzipped man pages were only being
rebuild every second time when building with `make -j4'. This may be
caused by a race condition between sphinx-build rebuilding the roff
files and the recipe to gzip them. This commit sequentializes these
two steps by making the stamp file a prerequisite for (all of) the
gzip files.
[1]: id:87tveotn1g.fsf@fifthhorseman.net
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index c2ae1743..d43ef269 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -117,6 +117,11 @@ build-man: install-man: @echo "No sphinx, will not install man pages." else + +# it should be safe to depend on the stamp file, because it is created +# after all roff files are moved into place. +${MAN_GZIP_FILES}: ${DOCBUILDDIR}/.roff.stamp + build-man: ${MAN_GZIP_FILES} install-man: ${MAN_GZIP_FILES} mkdir -m0755 -p "$(DESTDIR)$(mandir)/man1" |