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