| commit | 4c2a6585b30930f6bff71744f44aad31aefafd33 | [log] [tgz] |
|---|---|---|
| author | rsc <devnull@localhost> | Wed Jun 09 14:05:29 2004 +0000 |
| committer | rsc <devnull@localhost> | Wed Jun 09 14:05:29 2004 +0000 |
| tree | b514881f0b9bfe952f6937866c087fe7b02c9245 | |
| parent | 4f604b1843899782071d3dedbb31c6a2e441213f [diff] [blame] |
handle local files better
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