MKSHELL=$PLAN9/bin/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}