URI: 

       tshut up - plan9port - [fork] Plan 9 from user space
  HTML git clone git://src.adamsgaard.dk/plan9port
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit b1a5ffdee0b71c94fb8c2934d2a9b3e307ec7833
   DIR parent 95d46638678d0a3981494693631cc16b274855f8
  HTML Author: rsc <devnull@localhost>
       Date:   Fri, 14 Jan 2005 18:03:32 +0000
       
       shut up
       
       Diffstat:
         M dist/manweb                         |       6 +++++-
       
       1 file changed, 5 insertions(+), 1 deletion(-)
       ---
   DIR diff --git a/dist/manweb b/dist/manweb
       t@@ -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
       t@@ -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