better job at cleaning
This commit is contained in:
parent
5319e9b8fb
commit
722c34e310
6 changed files with 13 additions and 11 deletions
10
dist/mkfile
vendored
10
dist/mkfile
vendored
|
|
@ -9,8 +9,8 @@ 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}
|
||||
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
|
||||
# @{cd ../unix/man && mk push}
|
||||
# @{cd ../unix && mk push}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue