1 78e51a8c 2005-01-14 devnull MKSHELL=rc
 2 78e51a8c 2005-01-14 devnull 
 3 02f38ca6 2005-01-04 devnull check.out:V:
 4 02f38ca6 2005-01-04 devnull 	cd ../man; mk indices
 5 02f38ca6 2005-01-04 devnull 	cd ..
 6 78e51a8c 2005-01-14 devnull 	9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out
 7 02f38ca6 2005-01-04 devnull 
 8 78e51a8c 2005-01-14 devnull man:V:
 9 78e51a8c 2005-01-14 devnull 	rc ./manweb
10 78e51a8c 2005-01-14 devnull 
11 78e51a8c 2005-01-14 devnull push:V:
12 78e51a8c 2005-01-14 devnull 	rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
13 78e51a8c 2005-01-14 devnull 	rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html
14 78e51a8c 2005-01-14 devnull 	rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html
15 78e51a8c 2005-01-14 devnull 	@{cd ../unix/man && mk push}
16 78e51a8c 2005-01-14 devnull 	@{cd ../unix && mk push}