tree 7f55e492d622b3fffb24503ebed38c285c04dfcb
parent c4d79a4799719f2b0cd354ee498aad605730c97e
author Ben Hutchings <ben@decadent.org.uk> 1383772710 -0800
committer Jiri Kosina <jkosina@suse.cz> 1385991997 +0100

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>