From d4c4123c514b0a1826cc13ad924fb883c2d43698 Mon Sep 17 00:00:00 2001
From: Olivier Gayot <og@satcom1.com>
Date: Fri, 29 Dec 2017 14:20:12 +0100
Subject: Render the documentation through w3m

Signed-off-by: Olivier Gayot <og@satcom1.com>
---
 phpdoc.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'phpdoc.sh')

diff --git a/phpdoc.sh b/phpdoc.sh
index e705532..cfd140d 100644
--- a/phpdoc.sh
+++ b/phpdoc.sh
@@ -3,6 +3,8 @@
 set -u
 set -e
 
+W3M="$(/usr/bin/which w3m)" || true
+
 function usage
 {
     echo "Usage: $0 -f <function>"
@@ -11,8 +13,14 @@ function usage
 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."
+        exit 1;
+    fi
 
-    echo "Looking up function $name"
+    ${W3M} "/usr/share/doc/php/php-chunked-xhtml/${filename}"
 }
 
 opt_f=
-- 
cgit v1.2.3