| MKSHELL=rc | 
 |  | 
 | check.out:V: | 
 | 	cd ../man; mk indices | 
 | 	cd .. | 
 | 	9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out | 
 |  | 
 | man:V: | 
 | 	9 rc ./manweb | 
 |  | 
 | push:V: | 
 | 	rsync -r -e ssh -t --delete $PLAN9/man/ swtch.com:www/swtch.com/plan9port/man | 
 | 	rsync -e ssh -t unix.html swtch.com:www/swtch.com/plan9port/unix/index.html | 
 | 	rsync -e ssh -t main.html swtch.com:www/swtch.com/plan9port/index.html | 
 | 	rsync -e ssh -t ss.html swtch.com:www/swtch.com/plan9port/screenshots/index.html | 
 | 	# @{cd ../unix/man && mk push} | 
 | 	# @{cd ../unix && mk push} |