commit 0fcd970331d664ae6ae2b7a414efb086361ceff7
author rsc <devnull@localhost> Tue Jan 18 18:11:05 2005 +0000
committer rsc <devnull@localhost> Tue Jan 18 18:11:05 2005 +0000
tree b2c99e48657a32521a247271ee2ce7c85eaf87eb
parent 5ccb404fa5561a5aba9c996d7d9a172bd7d0bf89

use domain name

dist/mkfile

diff --git a/dist/mkfile b/dist/mkfile
index c71b54b..e2e81c0 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -9,9 +9,9 @@
 	rc ./manweb
 
 push:V:
-	rsync -r -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/index.html
-	rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html
+	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
 	# @{cd ../unix/man && mk push}
 	# @{cd ../unix && mk push}