[PATCH] DocBook: don't compress mandocs

[Bastian Blank <bastian@waldi.eu.org>]

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