--- 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
--- 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/.