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 98deccf3 2005-07-19 devnull 	9 rc ./manweb
10 78e51a8c 2005-01-14 devnull 
11 78e51a8c 2005-01-14 devnull push:V:
12 0fcd9703 2005-01-18 devnull 	rsync -r -e ssh -t --delete $PLAN9/man/ swtch.com:www/swtch.com/plan9port/man
13 0fcd9703 2005-01-18 devnull 	rsync -e ssh -t unix.html swtch.com:www/swtch.com/plan9port/unix/index.html
14 0fcd9703 2005-01-18 devnull 	rsync -e ssh -t main.html swtch.com:www/swtch.com/plan9port/index.html
15 0fcd9703 2005-01-18 devnull 	rsync -e ssh -t ss.html swtch.com:www/swtch.com/plan9port/screenshots/index.html
16 722c34e3 2005-01-14 devnull 	# @{cd ../unix/man && mk push}
17 722c34e3 2005-01-14 devnull 	# @{cd ../unix && mk push}