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}