commit 722c34e3106777f9c37faf37a715edccbeec94bd
author rsc <devnull@localhost> Fri Jan 14 18:00:26 2005 +0000
committer rsc <devnull@localhost> Fri Jan 14 18:00:26 2005 +0000
tree 1f927c707b228522aab1a58095ea0a59900391a9
parent 5319e9b8fb21838c86c8c309ea148a0261536a4a

better job at cleaning

dist/mkfile

diff --git a/dist/mkfile b/dist/mkfile
index 4def697..bbde919 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -9,8 +9,8 @@
 	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}