diff options
| author | rsc <devnull@localhost> | 2005-01-14 18:03:32 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-14 18:03:32 +0000 |
| commit | b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833 (patch) | |
| tree | 98bd2329e7729a3a5c2aad260ba76fefb3e3a26f /dist | |
| parent | 95d46638678d0a3981494693631cc16b274855f8 (diff) | |
| download | plan9port-b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833.tar.gz plan9port-b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833.tar.bz2 plan9port-b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833.zip | |
shut up
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/manweb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dist/manweb b/dist/manweb index 0a6f0f40..2cd5b50e 100755 --- a/dist/manweb +++ b/dist/manweb @@ -1,5 +1,9 @@ #!/usr/local/plan9/bin/rc +verbose=no +if(~ $1 -v) + verbose=yes + path=($PLAN9/bin $path) cd $PLAN9/man # rm -f */*.html @@ -53,7 +57,7 @@ for (i in */[~.]*.[0-9]*){ d=`{basename -d $j} if(~ $p 0intro) p=intro - echo $d/$p + if(~ $verbose yes) echo $d/$p troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/manweb.html { sed '/<!-- TRAILER -->/q' /tmp/manweb.html |