commit 6b53e2a4d0d41305efa4b8b0800d119a13478ded
author rsc <devnull@localhost> Mon Apr 19 05:53:47 2004 +0000
committer rsc <devnull@localhost> Mon Apr 19 05:53:47 2004 +0000
tree 41566bb33ded9318e8094c6a7ced57f714eaa0b1
parent 58dd565008914de0360df3d83e86da924d15116a

push man pages through nobs.

plumb/basic

diff --git a/plumb/basic b/plumb/basic
index c99eeb1..22e4d1f 100644
--- a/plumb/basic
+++ b/plumb/basic
@@ -106,7 +106,7 @@
 # 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