debian/patches/debian-specific/build_doc_adjustments.diff

   1 Index: doc/Makefile.in
   2 ===================================================================
   3 --- doc/Makefile.in.orig        2007-05-17 14:47:01.000000000 +0200
   4 +++ doc/Makefile.in     2007-05-17 14:58:34.000000000 +0200
   5 @@ -435,15 +435,16 @@ uninstall-local:
   6
   7  check:
   8  manual.txt: manual.html
   9 -       -lynx -dump -nolist -with_backspaces $^ > $@ || \
  10 +       /usr/bin/links.main -dump $^ > $@ || links -dump $^ > $@ || \
  11 +       lynx -dump -nolist -with_backspaces $^ > $@ || \
  12         w3m -dump $^ > $@ || \
  13         elinks -dump -no-numbering -no-references $^ > $@
  14
  15  manual.html: $(srcdir)/html.xsl stamp-doc-xml
  16 -       -xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
  17 +       xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
  18
  19  stamp-doc-chunked: $(srcdir)/chunk.xsl stamp-doc-xml
  20 -       -xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
  21 +       xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
  22         touch stamp-doc-chunked
  23
  24  $(HTML_DOCFILES): stamp-doc-chunked