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