| rsc | 78e51a8 | 2005-01-14 03:45:44 +0000 | [diff] [blame] | 1 | MKSHELL=rc |
| 2 | |
| rsc | 02f38ca | 2005-01-04 22:33:11 +0000 | [diff] [blame] | 3 | check.out:V: |
| 4 | cd ../man; mk indices |
| 5 | cd .. |
| rsc | 78e51a8 | 2005-01-14 03:45:44 +0000 | [diff] [blame] | 6 | 9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out |
| rsc | 02f38ca | 2005-01-04 22:33:11 +0000 | [diff] [blame] | 7 | |
| rsc | 78e51a8 | 2005-01-14 03:45:44 +0000 | [diff] [blame] | 8 | man:V: |
| 9 | rc ./manweb |
| 10 | |
| 11 | push:V: |
| rsc | 722c34e | 2005-01-14 18:00:26 +0000 | [diff] [blame] | 12 | rsync -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man |
| 13 | rsync -e ssh -t unix.html swtch:www/swtch.com/plan9port/unix/index.html |
| 14 | rsync -e ssh -t main.html swtch:www/swtch.com/plan9port/nindex.html |
| rsc | bd1c600 | 2005-01-14 20:41:26 +0000 | [diff] [blame^] | 15 | rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html |
| rsc | 722c34e | 2005-01-14 18:00:26 +0000 | [diff] [blame] | 16 | # @{cd ../unix/man && mk push} |
| 17 | # @{cd ../unix && mk push} |
