diff options
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/mkfile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dist/mkfile b/dist/mkfile index 06bdbb33..e0607146 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -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} |