debian/patches/debian/doc-build-parallel.patch

   1 diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile
   2 index 5a2882d..71c7077 100644
   3 --- a/Documentation/DocBook/Makefile
   4 +++ b/Documentation/DocBook/Makefile
   5 @@ -146,7 +146,7 @@ quiet_cmd_db2html = HTML   $@
   6              cp $(PNG-$(basename $(notdir $@))) $(patsubst %.html,%,$@); fi
   7
   8  quiet_cmd_db2man = MAN     $@
   9 -      cmd_db2man = if grep -q refentry $<; then xmlto man $(XMLTOFLAGS) -o $(obj)/man $< ; gzip -f $(obj)/man/*.9; fi
  10 +      cmd_db2man = if grep -q refentry $<; then xmlto man $(XMLTOFLAGS) -o $(obj)/man $< ; fi
  11  %.9 : %.xml
  12         @(which xmlto > /dev/null 2>&1) || \
  13          (echo "*** You need to install xmlto ***"; \