blob: e2e81c0f794a879648da82d0178921419c8e07c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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}
|