projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4d79a4) | patch
DocBook: Make mandocs parallel-safe
authorBen Hutchings <ben@decadent.org.uk>
Wed, 6 Nov 2013 21:18:30 +0000 (13:18 -0800)
committerJiri Kosina <jkosina@suse.cz>
Mon, 2 Dec 2013 13:46:37 +0000 (14:46 +0100)
commit832919bfcf0cfd75767c68b0c61f7cf48be860a8
tree7f55e492d622b3fffb24503ebed38c285c04dfcbtree | snapshot
parentc4d79a4799719f2b0cd354ee498aad605730c97ecommit | diff
DocBook: Make mandocs parallel-safe

Two concurrent calls to cmd_db2man may attempt to compress manual
pages generated by each other.  gzip can then fail due to an input
file having already been compressed and removed.

Move the gzip command to the top-level mandocs target.

Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Cc: Bastian Blank <waldi@debian.org>
Acked-by: Rob Landley <rob@landley.net>
Signed-off-by: Jiri Kosina <jkosina@suse.cz>
Documentation/DocBook/Makefile diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git