commit - 95d46638678d0a3981494693631cc16b274855f8
commit + b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833
blob - 0a6f0f40ce4caa96eaf1f7c885f67585414003f9
blob + 2cd5b50e815b2d3a30540473686b2340d65ad3f6
--- dist/manweb
+++ dist/manweb
#!/usr/local/plan9/bin/rc
+verbose=no
+if(~ $1 -v)
+ verbose=yes
+
path=($PLAN9/bin $path)
cd $PLAN9/man
# rm -f */*.html
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