| 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: | |
| 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} |