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