debian/patches/debian-specific/build_doc_adjustments.diff

   1 --- doc/Makefile.in.orig
   2 +++ doc/Makefile.in
   3 @@ -111,13 +111,13 @@
   4
   5  check:
   6  manual.txt: manual.html
   7 -       -lynx -dump -nolist -with_backspaces $^ > $@ || w3m -dump $^ > $@
   8 +       /usr/bin/links.main -dump $^ > $@ || links -dump $^ > $@
   9
  10  manual.html: $(srcdir)/html.xsl stamp-doc-xml
  11 -       -xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
  12 +       xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
  13
  14  stamp-doc-chunked: $(srcdir)/chunk.xsl stamp-doc-xml
  15 -       -xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
  16 +       xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
  17         touch stamp-doc-chunked
  18
  19  manual.pdf: manual.tex