diff options
author | Brendan Cully <brendan@kublai.com> | 2007-04-13 09:46:22 -0700 |
---|---|---|
committer | Brendan Cully <brendan@kublai.com> | 2007-04-13 09:46:22 -0700 |
commit | f03497d84b1305f414860331e2741ffbb3a780df (patch) | |
tree | 990a6d4b60c8842cc62d1097dfb2c12683954e16 /doc | |
parent | b470fa7faeb7619fa9778017266b44e93e8c3407 (diff) |
Allow elinks for building manual.txt (closes #2876)
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 4a59f2cc..173f352a 100644 --- 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 |