1 79ff7e4b 2008-01-10 rsc MKSHELL=$PLAN9/bin/rc
3 02f38ca6 2005-01-04 devnull check.out:V:
4 02f38ca6 2005-01-04 devnull cd ../man; mk indices
6 78e51a8c 2005-01-14 devnull 9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out
9 98deccf3 2005-07-19 devnull 9 rc ./manweb
12 a3993885 2017-09-01 rsc 9 rc ./publish