From 359e03b4c7742d01c1f2bd74cfca0b8de7210889 Mon Sep 17 00:00:00 2001
From: Olivier Gayot <og@satcom1.com>
Date: Fri, 29 Dec 2017 18:25:27 +0100
Subject: Tried elinks as a replacement for w3m

Signed-off-by: Olivier Gayot <og@satcom1.com>
---
 phpdoc.sh | 8 ++++----
 1 file 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=
-- 
cgit v1.2.3