mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
16 lines
413 B
Makefile
16 lines
413 B
Makefile
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}
|