diff -r a1956417c6c1 -r bf89038cf551 Admin/mirror-main
--- a/Admin/mirror-main	Fri Oct 10 17:39:33 2003 +0200
+++ b/Admin/mirror-main	Fri Oct 10 19:32:15 2003 +0200
@@ -12,7 +12,7 @@
 HOST=$(hostname)
 
 case ${HOST} in
-  sunbroy51)
+  atbroy1)
     DEST=/home/html/isabelle/html-data
     ;;
   *.cl.cam.ac.uk)