| Russ Cox | 79ff7e4 | 2008-01-10 16:08:44 -0500 | [diff] [blame] | 1 | MKSHELL=$PLAN9/bin/rc |
| rsc | 78e51a8 | 2005-01-14 03:45:44 +0000 | [diff] [blame] | 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: |
| rsc | 98deccf | 2005-07-19 11:04:21 +0000 | [diff] [blame] | 9 | 9 rc ./manweb |
| rsc | 78e51a8 | 2005-01-14 03:45:44 +0000 | [diff] [blame] | 10 | |
| 11 | push:V: |
| rsc | 0fcd970 | 2005-01-18 18:11:05 +0000 | [diff] [blame] | 12 | rsync -r -e ssh -t --delete $PLAN9/man/ swtch.com:www/swtch.com/plan9port/man |
| 13 | rsync -e ssh -t unix.html swtch.com:www/swtch.com/plan9port/unix/index.html |
| 14 | rsync -e ssh -t main.html swtch.com:www/swtch.com/plan9port/index.html |
| 15 | rsync -e ssh -t ss.html swtch.com: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} |
