--- a/Admin/makedist Mon Sep 22 17:38:55 1997 +0200 +++ b/Admin/makedist Tue Sep 23 08:44:57 1997 +0200 @@ -128,7 +128,6 @@ mkdir src mv $LOGICS src -mv index.html src mv Distribution/* . rmdir Distribution