25 lines
1.0 KiB
Diff
25 lines
1.0 KiB
Diff
From: Bastian Blank <waldi@debian.org>
|
|
Subject: DocBook: Make Documentation/DocBook -j clean
|
|
Date: Tue, 14 Jun 2006 00:05:06 +0200
|
|
|
|
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.
|
|
|
|
Since dh_compress will compress manual pages later, we don't need
|
|
to run gzip here at all.
|
|
|
|
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile
|
|
index 5a2882d..71c7077 100644
|
|
--- a/Documentation/DocBook/Makefile
|
|
+++ b/Documentation/DocBook/Makefile
|
|
@@ -146,7 +146,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 ***"; \
|