diff -r 33fbffd06c12 -r cca9a908c270 Admin/makedist
--- a/Admin/makedist	Tue Jul 21 16:41:12 1998 +0200
+++ b/Admin/makedist	Tue Jul 21 16:43:38 1998 +0200
@@ -9,7 +9,7 @@
 
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
 
-CVSROOT=/isabelle/archive
+CVSROOT=/usr/proj/isabelle-repository/archive
 DISTBASE=~/tmp/isadist