MKSHELL=$PLAN9/bin/rc check.out:V: cd ../man; mk indices cd .. 9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out man:V: 9 rc ./manweb push:V: 9 rc ./publish