3 @@ -81,13 +81,14 @@ uninstall-local:
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 $^ > $@
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
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
20 $(HTML_DOCFILES): stamp-doc-chunked