mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
push man pages through nobs.
This commit is contained in:
parent
58dd565008
commit
6b53e2a4d0
1 changed files with 1 additions and 1 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue