diff options
Diffstat (limited to 'help')
| -rw-r--r-- | help/Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/help/Makefile.am b/help/Makefile.am index dbb3a75887..d389c6756d 100644 --- a/help/Makefile.am +++ b/help/Makefile.am @@ -44,7 +44,7 @@ MAINTAINERCLEANFILES = \ # Try our best to convert the FAQ to text. faq.txt: $(srcdir)/faq.py $(srcdir)/faq.py >$@.tmp - elinks -dump -dump-width 72 -no-numbering -no-references < $@.tmp > $@ || \ - links -width 72 -html-numbered-links 0 -dump $@.tmp > $@ || \ - lynx -dump -width=72 -nolist -stdin -force-html < $@.tmp > $@ + (( which elinks > /dev/null && elinks -dump -dump-width 72 -no-numbering -no-references < $@.tmp > $@ )|| \ + ( which links > /dev/null && links -width 72 -html-numbered-links 0 -dump $@.tmp > $@ )|| \ + ( which lynx > /dev/null && lynx -dump -width=72 -nolist -stdin -force-html < $@.tmp > $@ ) ) && \ rm -f $@.tmp |