# HG changeset patch # User wenzelm # Date 874997097 -7200 # Node ID 0b8986fd9bfccaa3c967e53de9a0428d96c148d4 # Parent c5833dfcc2cc18b94342accc52ac48754b3e46a3 index.html obsolete; diff -r c5833dfcc2cc -r 0b8986fd9bfc Admin/makedist --- 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