1.1 --- a/Admin/makedist	Thu Oct 07 12:52:23 1999 +0200
     1.2 +++ b/Admin/makedist	Thu Oct 07 14:31:01 1999 +0200
     1.3 @@ -130,7 +130,7 @@
     1.4  mv -f $MOVE Distribution/doc
     1.5  rm Distribution/doc/Isa-logics.eps
     1.6  cp Admin/index.html $DISTBASE
     1.7 -rm -rf Admin Doc
     1.8 +rm -rf Admin Doc Tools
     1.9  
    1.10  mkdir src contrib
    1.11  mv $LOGICS src