Messages in this thread Patch in this message | | | Date | Fri, 8 Aug 2008 09:47:24 +0200 | From | Bastian Blank <> | Subject | [PATCH] DocBook: don't compress mandocs |
| |
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@debian.org>
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile index 1d1b345..3fb6ef2 100644 --- a/Documentation/DocBook/Makefile +++ b/Documentation/DocBook/Makefile @@ -51,7 +51,7 @@ 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 @@ -156,7 +156,7 @@ quiet_cmd_db2html = HTML $@ cp $(PNG-$(basename $(notdir $@))) $(patsubst %.html,%,$@); fi quiet_cmd_db2man = MAN $@ - 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 %.9 : %.xml @(which xmlto > /dev/null 2>&1) || \ (echo "*** You need to install xmlto ***"; \ -- Only a fool fights in a burning house. -- Kank the Klingon, "Day of the Dove", stardate unknown
| |