debian/patches/debian-specific/build_doc_adjustments.diff

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