aboutsummaryrefslogtreecommitdiff
path: root/dist/mkfile
blob: c71b54b9341e9887ab852592e698b59772940cad (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: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/index.html
	rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html
	# @{cd ../unix/man && mk push}
	# @{cd ../unix && mk push}