diff options
Diffstat (limited to 'dist/manweb')
| -rwxr-xr-x | dist/manweb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/manweb b/dist/manweb index ce455dad..7494902b 100755 --- a/dist/manweb +++ b/dist/manweb @@ -1,4 +1,4 @@ -#!/usr/local/plan9/bin/rc +#!/Users/ethan/plan9port/bin/rc verbose=no if(~ $1 -v) |