| 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: |
| 12 | rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man |
| 13 | rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html |
| 14 | rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html |
| 15 | @{cd ../unix/man && mk push} |
| 16 | @{cd ../unix && mk push} |
