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