diff options
| author | rsc <devnull@localhost> | 2005-01-14 03:45:44 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-14 03:45:44 +0000 |
| commit | 78e51a8c6678b6e3dff3d619aa786669f531f4bc (patch) | |
| tree | 015e00fde4fc837fd31b705e18d17dc913829388 /dist/mkfile | |
| parent | 2634795b5f0053bc0ff08e5d7bbc0eda8efea061 (diff) | |
| download | plan9port-78e51a8c6678b6e3dff3d619aa786669f531f4bc.tar.gz plan9port-78e51a8c6678b6e3dff3d619aa786669f531f4bc.tar.bz2 plan9port-78e51a8c6678b6e3dff3d619aa786669f531f4bc.zip | |
checkpoint
Diffstat (limited to 'dist/mkfile')
| -rw-r--r-- | dist/mkfile | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/dist/mkfile b/dist/mkfile index 5e679d52..4def6970 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -1,5 +1,16 @@ +MKSHELL=rc + check.out:V: cd ../man; mk indices cd .. - awk -f dist/checkman.awk man/man*/*.* >dist/check.out + 9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out + +man:V: + rc ./manweb +push:V: + rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man + rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html + rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html + @{cd ../unix/man && mk push} + @{cd ../unix && mk push} |