debian/notmuch
1
0
Fork 0
mirror of https://git.notmuchmail.org/git/notmuch synced 2024-11-22 02:48:08 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

doc: add dep. on stamp file for rebuilding gzipped man pages.

Browse source 
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
This commit is contained in:
David Bremner 2021-12-24 12:20:31 -04:00
parent cea1604a08
commit 02d8ff376d
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
doc/Makefile.local
View file

@ -117,6 +117,11 @@ build-man:
install-man: install-man:
@echo "No sphinx, will not install man pages." @echo "No sphinx, will not install man pages."
else 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} build-man: ${MAN_GZIP_FILES}
install-man: ${MAN_GZIP_FILES} install-man: ${MAN_GZIP_FILES}
mkdir -m0755 -p "$(DESTDIR)$(mandir)/man1" mkdir -m0755 -p "$(DESTDIR)$(mandir)/man1"