debian/patches/debian-specific/build_doc_adjustments.diff

   1 --- a/doc/Makefile.am
   2 +++ b/doc/Makefile.am
   3 @@ -81,13 +81,14 @@ uninstall-local:
   4
   5  check:
   6  manual.txt: manual.html
   7 -       -lynx -dump -nolist -with_backspaces $^ > $@ || w3m -dump $^ > $@
   8 +       links.main -dump $^ > $@ || links -dump $^ > $@ || \
   9 +       lynx -dump -nolist -with_backspaces $^ > $@ || w3m -dump $^ > $@
  10
  11  manual.html: $(srcdir)/html.xsl stamp-doc-xml
  12 -       -xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
  13 +       xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
  14
  15  stamp-doc-chunked: $(srcdir)/chunk.xsl stamp-doc-xml
  16 -       -xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
  17 +       xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
  18         touch stamp-doc-chunked
  19
  20  $(HTML_DOCFILES): stamp-doc-chunked