2008-01-10 16:08:44 -05:00
|
|
|
MKSHELL=$PLAN9/bin/rc
|
2005-01-14 03:45:44 +00:00
|
|
|
|
2005-01-04 22:33:11 +00:00
|
|
|
check.out:V:
|
|
|
|
|
cd ../man; mk indices
|
|
|
|
|
cd ..
|
2005-01-14 03:45:44 +00:00
|
|
|
9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out
|
|
|
|
|
|
|
|
|
|
man:V:
|
2005-07-19 11:04:21 +00:00
|
|
|
9 rc ./manweb
|
2005-01-04 22:33:11 +00:00
|
|
|
|
2005-01-14 03:45:44 +00:00
|
|
|
push:V:
|
2017-09-01 13:16:43 -04:00
|
|
|
9 rc ./publish
|
