From 68a07bf03b7624c9924065cce9ffa45497225834 Mon Sep 17 00:00:00 2001
From: Akinori Ito <aito@eie.yz.yamagata-u.ac.jp>
Date: Thu, 8 Nov 2001 05:14:08 +0000
Subject: Initial revision

---
 Bonus/htmldump | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 Bonus/htmldump

(limited to 'Bonus/htmldump')

diff --git a/Bonus/htmldump b/Bonus/htmldump
new file mode 100755
index 0000000..4be60bf
--- /dev/null
+++ b/Bonus/htmldump
@@ -0,0 +1,12 @@
+#!/bin/sh
+OPT=
+if [ $# -gt 0 -a $1 = "-u" ]; then
+  OPT=-u
+  shift
+fi
+if [ $# = 0 ]; then
+  URL=$WWW_HOME
+else
+  URL=$1
+fi
+w3m -dump_source $URL | makeref $OPT -url $URL | w3m -dump -F -T text/html
-- 
cgit v1.2.3