# HG changeset patch
# User wenzelm
# Date 1206371125 -3600
# Node ID f882403f0d5605bb5dc0301136e147ad036172ce
# Parent  8e4286e2bffed11f87a80daf82d0a599a80eff86
replaced obsolete /usr/proj by /home;

diff -r 8e4286e2bffe -r f882403f0d56 Admin/makedist
--- a/Admin/makedist	Mon Mar 24 15:59:56 2008 +0100
+++ b/Admin/makedist	Mon Mar 24 16:05:25 2008 +0100
@@ -10,7 +10,7 @@
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
 SRCS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents Tools ZF"
 
-export CVSROOT=/usr/proj/isabelle-repository/archive
+export CVSROOT=/home/isabelle-repository/archive
 [ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@atbroy100.informatik.tu-muenchen.de:$CVSROOT"
 
 umask 022