URI: 
       tsilence useless errors - 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 f3e872014e3079ec4a9fa153a9eea610149adc37
   DIR parent 668b32b76c29d2186958eefab81b0dac9258f836
  HTML Author: rsc <devnull@localhost>
       Date:   Tue, 18 Jan 2005 18:17:00 +0000
       
       silence useless errors
       
       Diffstat:
         M dist/manweb                         |      15 ++++++++++++---
       
       1 file changed, 12 insertions(+), 3 deletions(-)
       ---
   DIR diff --git a/dist/manweb b/dist/manweb
       t@@ -4,7 +4,16 @@ verbose=no
        if(~ $1 -v)
                verbose=yes
        
       -path=($PLAN9/bin $path)
       +fn silencer {
       +        switch($verbose){
       +        case no
       +                cat >/dev/null
       +        case yes
       +                cat
       +        }
       +}
       +
       +. 9.rc
        cd $PLAN9/man
        # rm -f */*.html
        
       t@@ -13,7 +22,7 @@ for(i in */INDEX) @{
                cat $PLAN9/dist/manindextop.html | sed 's/NNN/'$n'/g'
                cd `{basename -d $i}
                # complicated sort order: want 9p.3, 9p-cmdbuf.3, 9pclient.3
       -        for (j in `{ls [a-z0-9:]*.[0-9]* | sed 's/[.\-]/ &/g;s/\./ &/g' | sort | tr -d ' '}){
       +        for (j in `{ls [a-z0-9:]*.[0-9]* >[2]/dev/null | sed 's/[.\-]/ &/g;s/\./ &/g' | sort | tr -d ' '}){
                        n=`{grep '^\.TH' $j | sed 1q | awk '{print $3}'}
                        name=`{echo $j | sed 's/\..*//'}
                        if(~ $name 0intro)
       t@@ -58,7 +67,7 @@ for (i in */[~.]*.[0-9]*){
                if(~ $p 0intro)
                        p=intro
                if(~ $verbose yes) echo $d/$p
       -        troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/manweb.html
       +        troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/manweb.html |[2] silencer
                {
                        sed '/<!-- TRAILER -->/q' /tmp/manweb.html
                        cat $PLAN9/dist/mantrailer.html