Allow elinks for building manual.txt (closes #2876)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4a59f2cc8961d0e2c312f73e40459f11f578bc43..173f352a7aebe80736d3ea3fb0d7a634f9a142cb 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -81,7 +81,9 @@ uninstall-local:
 
 check:
 manual.txt: manual.html
-       -lynx -dump -nolist -with_backspaces $^ > $@ || w3m -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