dist: update mk push

Change-Id: I848df28b079ca43dfbe4f7ea6b52cdaf260fd6aa
Reviewed-on: https://plan9port-review.googlesource.com/2963
Reviewed-by: Russ Cox <rsc@swtch.com>
This commit is contained in:
Russ Cox 2017-07-15 20:51:54 -06:00
parent b546bd6e72
commit 7e77a6a569

8
dist/mkfile vendored
View file

@ -9,9 +9,9 @@ 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
gsutil -m rsync -r -d $PLAN9/man gs://swtch/www/plan9port/man
gsutil cp unix.html gs://swtch/www/plan9port/unix/index.html
gsutil cp main.html gs://swtch/www/plan9port/index.html
gsutil cp ss.html gs://swtch/www/plan9port/screenshots/index.html
# @{cd ../unix/man && mk push}
# @{cd ../unix && mk push}