--- a/Admin/makedist Thu May 31 13:00:56 2007 +0200
+++ b/Admin/makedist Thu May 31 13:18:42 2007 +0200
@@ -8,7 +8,7 @@
## global settings
DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
-LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
+SRCS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents Tools ZF"
export CVSROOT=/usr/proj/isabelle-repository/archive
[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
@@ -168,7 +168,7 @@
rm -rf Doc Tools
mkdir src contrib
-mv $LOGICS src
+mv $SRCS src
mv Distribution/* .
rmdir Distribution