commit 4c2a6585b30930f6bff71744f44aad31aefafd33 parent 4f604b1843899782071d3dedbb31c6a2e441213f Author: rsc <devnull@localhost> Date: Wed, 9 Jun 2004 14:05:29 +0000 handle local files better Diffstat:
| M | bin/web | | | 4 | +++- |
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/bin/web b/bin/web @@ -25,7 +25,9 @@ else do if [ -f "$i" ] then - i=file://`pwd`/$i + p=`pwd` + i=`cleanname -d $p $i` + i=file://$i fi plumb1 $i done