blob: 1421973a82e591dc5a70d3b5161eff76e6b1d30f (
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 -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
rsync -e ssh -t unix.html swtch:www/swtch.com/plan9port/unix/index.html
rsync -e ssh -t main.html swtch:www/swtch.com/plan9port/nindex.html
rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html
# @{cd ../unix/man && mk push}
# @{cd ../unix && mk push}
|