diff options
author | Olivier Gayot <og@satcom1.com> | 2017-12-29 18:25:27 +0100 |
---|---|---|
committer | Olivier Gayot <og@satcom1.com> | 2017-12-29 18:25:27 +0100 |
commit | 359e03b4c7742d01c1f2bd74cfca0b8de7210889 (patch) | |
tree | 19061850ebb02136b04f106364f573549d1275d8 /phpdoc.sh | |
parent | 24f15f94d7221f2a0b71513630cb295533ff65c9 (diff) |
Tried elinks as a replacement for w3mtest-with-elinks
Signed-off-by: Olivier Gayot <og@satcom1.com>
Diffstat (limited to 'phpdoc.sh')
-rwxr-xr-x | phpdoc.sh | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -3,7 +3,7 @@ set -u set -e -W3M="$(/usr/bin/which w3m)" || true +ELINKS="$(/usr/bin/which elinks)" || true function usage { @@ -15,12 +15,12 @@ function lookup_function local name="$1" local filename="function.$(echo "${name}" | /usr/bin/sed 's/_/-/g').html" - if [ ! -n "${W3M}" ]; then - echo "w3m not found." + if [ ! -n "${ELINKS}" ]; then + echo "elinks not found." exit 1; fi - ${W3M} "/usr/share/doc/php/php-chunked-xhtml/${filename}" + elinks --no-references --no-numbering -dump -dump-color-mode 1 "/usr/share/doc/php/php-chunked-xhtml/${filename}" | less -R } opt_f= |