# HG changeset patch
# User kleing
# Date 1020161748 -7200
# Node ID ff00791319e2d112986ea5a606f8926e03717790
# Parent  4bb592cdde0e13f059442d6754784aca7e56014a
physical location of isabelle repository is now sunbroy2

diff -r 4bb592cdde0e -r ff00791319e2 Admin/makedist
--- a/Admin/makedist	Mon Apr 29 16:45:12 2002 +0200
+++ b/Admin/makedist	Tue Apr 30 12:15:48 2002 +0200
@@ -11,13 +11,13 @@
 
 case $(hostname) in
   *lapbroy*)
-    export CVSROOT=sunbroy1:/usr/proj/isabelle-repository/archive
+    export CVSROOT=sunbroy2:/usr/proj/isabelle-repository/archive
     ;;
   *broy*)
     export CVSROOT=/usr/proj/isabelle-repository/archive
     ;;
   *.cl.cam.ac.uk)
-    export CVSROOT=sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive
+    export CVSROOT=sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/archive
     ;;
 esac
 
diff -r 4bb592cdde0e -r ff00791319e2 Admin/mirror-main
--- a/Admin/mirror-main	Mon Apr 29 16:45:12 2002 +0200
+++ b/Admin/mirror-main	Tue Apr 30 12:15:48 2002 +0200
@@ -20,4 +20,4 @@
 esac
 
 rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \
-  $USER@sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/.
+  $USER@sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/.