aboutsummaryrefslogtreecommitdiff
path: root/dist/mkfile
blob: 06bdbb33320b8e69dff95a09bdd0b823e2bc1f3c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
MKSHELL=$PLAN9/bin/rc

check.out:V:
	cd ../man; mk indices
	cd ..
	9 awk -f dist/checkman.awk man/man*/*.[0-9]* >dist/check.out

man:V:
	9 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}