1 MKSHELL=$PLAN9/bin/rc 2 3 check.out:V: 4 cd ../man; mk indices 5 cd .. 6 9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out 7 8 man:V: 9 9 rc ./manweb 10 11 push:V: 12 9 rc ./publish