handle local files better

bin/web

diff --git a/bin/web b/bin/web
index e7db04d..a761518 100755
--- a/bin/web
+++ b/bin/web
@@ -25,7 +25,9 @@
 	do
 		if [ -f "$i" ]
 		then
-			i=file://`pwd`/$i
+			p=`pwd`
+			i=`cleanname -d $p $i`
+			i=file://$i
 		fi
 		plumb1 $i
 	done