8 Aug 2008 09:47
[PATCH] DocBook: don't compress mandocs
Bastian Blank <bastian <at> waldi.eu.org>
2008-08-08 07:47:24 GMT
2008-08-08 07:47:24 GMT
The mandocs target uses gzip to compress the resulting manpages. If this
target runs more than once (using make -jX) at the same time, gzip may
run more then once with the same set of files. It just bails out if it
is not able to find a file because a concurrent run already removed it.
Fix this by removing the gzip call and only work with uncompressed
manpages.
Signed-off-by: Bastian Blank <waldi <at> debian.org>
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile
index 1d1b345..3fb6ef2 100644
--- a/Documentation/DocBook/Makefile
+++ b/Documentation/DocBook/Makefile
<at> <at> -51,7 +51,7 <at> <at> mandocs: $(MAN)
installmandocs: mandocs
mkdir -p /usr/local/man/man9/
- install Documentation/DocBook/man/*.9.gz /usr/local/man/man9/
+ install Documentation/DocBook/man/*.9 /usr/local/man/man9/
###
#External programs used
<at> <at> -156,7 +156,7 <at> <at> quiet_cmd_db2html = HTML $ <at>
cp $(PNG-$(basename $(notdir $ <at> ))) $(patsubst %.html,%,$ <at> ); fi
quiet_cmd_db2man = MAN $ <at>
- cmd_db2man = if grep -q refentry $<; then xmlto man $(XMLTOFLAGS) -o $(obj)/man $< ; gzip -f
$(obj)/man/*.9; fi
+ cmd_db2man = if grep -q refentry $<; then xmlto man $(XMLTOFLAGS) -o $(obj)/man $<; fi
(Continue reading)
RSS Feed