---- doc/Makefile.in.orig
-+++ doc/Makefile.in
-@@ -111,13 +111,13 @@
+--- a/doc/Makefile.am
++++ b/doc/Makefile.am
+@@ -81,15 +81,16 @@ uninstall-local:
check:
manual.txt: manual.html
-- -lynx -dump -nolist -with_backspaces $^ > $@ || w3m -dump $^ > $@
-+ /usr/bin/links.main -dump $^ > $@ || links -dump $^ > $@
+- -lynx -dump -nolist -with_backspaces $^ > $@ || \
++ links.main -dump $^ > $@ || links -dump $^ > $@ || \
++ lynx -dump -nolist -with_backspaces $^ > $@ || \
+ w3m -dump $^ > $@ || \
+ elinks -dump -no-numbering -no-references $^ > $@
manual.html: $(srcdir)/html.xsl stamp-doc-xml
- -xsltproc --nonet -o $@ $(srcdir)/html.xsl manual.xml
+ xsltproc --nonet $(srcdir)/chunk.xsl manual.xml
touch stamp-doc-chunked
- manual.pdf: manual.tex
+ $(HTML_DOCFILES): stamp-doc-chunked