| commit | 832919bfcf0cfd75767c68b0c61f7cf48be860a8 | [log] [tgz] |
|---|---|---|
| author | Ben Hutchings <ben@decadent.org.uk> | Wed Nov 06 13:18:30 2013 -0800 |
| committer | Jiri Kosina <jkosina@suse.cz> | Mon Dec 02 14:46:37 2013 +0100 |
| tree | 7f55e492d622b3fffb24503ebed38c285c04dfcb | |
| parent | c4d79a4799719f2b0cd354ee498aad605730c97e [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>