# 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