1 MKSHELL=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 	rc ./manweb
10 
11 push:V:
12 	rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
13 	rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html
14 	rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html
15 	@{cd ../unix/man && mk push}
16 	@{cd ../unix && mk push}