URI: 
       tpush man pages through nobs. - 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 6b53e2a4d0d41305efa4b8b0800d119a13478ded
   DIR parent 58dd565008914de0360df3d83e86da924d15116a
  HTML Author: rsc <devnull@localhost>
       Date:   Mon, 19 Apr 2004 05:53:47 +0000
       
       push man pages through nobs.
       
       Diffstat:
         M plumb/basic                         |       2 +-
       
       1 file changed, 1 insertion(+), 1 deletion(-)
       ---
   DIR diff --git a/plumb/basic b/plumb/basic
       t@@ -106,7 +106,7 @@ plumb        start        window -r 4 120 750 600 upas/nedmail -s $0
        # man index entries are synthesized
        type is text
        data matches '([a-zA-Z¡-￿0-9_\-./]+)\(([1-8])\)'
       -plumb start rc -c 'man '$2' '$1' >[2=1] | plumb -i -d edit -a ''action=showdata filename=/man/'$1'('$2')'''
       +plumb start rc -c 'man '$2' '$1' >[2=1] | nobs | plumb -i -d edit -a ''action=showdata filename=/man/'$1'('$2')'''
        
        # start rule for images without known suffixes
        dst is image