summaryrefslogtreecommitdiff
path: root/phpdoc.sh
diff options
context:
space:
mode:
authorOlivier Gayot <og@satcom1.com>2017-12-29 18:25:27 +0100
committerOlivier Gayot <og@satcom1.com>2017-12-29 18:25:27 +0100
commit359e03b4c7742d01c1f2bd74cfca0b8de7210889 (patch)
tree19061850ebb02136b04f106364f573549d1275d8 /phpdoc.sh
parent24f15f94d7221f2a0b71513630cb295533ff65c9 (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-xphpdoc.sh8
1 files changed, 4 insertions, 4 deletions
diff --git a/phpdoc.sh b/phpdoc.sh
index cfd140d..0d08417 100755
--- a/phpdoc.sh
+++ b/phpdoc.sh
@@ -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=