# HG changeset patch
# User wenzelm
# Date 909052362 -7200
# Node ID 1b708bfb0c1e50320a8f2fb343b514da04d3b42e
# Parent  5de7e399ec88f920a4cfd79c5c09468d83609f71
fixed index.html;

diff -r 5de7e399ec88 -r 1b708bfb0c1e Admin/makedist
--- a/Admin/makedist	Thu Oct 22 12:26:55 1998 +0200
+++ b/Admin/makedist	Thu Oct 22 12:32:42 1998 +0200
@@ -51,7 +51,7 @@
 
   After the distribution has been created succesfully, you might want
   to run some makeall tests using different ML systems.
-  
+
 EOF
   exit 1
 }
@@ -185,7 +185,9 @@
   s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
   s/{AUTHOR}/$LOGNAME/g; \
   s/{DATE}/$DATE/g;" \
-    $DISTBASE/index.html $DISTNAME/lib/html/index1.html $DISTNAME/lib/html/index2.html
+    $DISTBASE/index.html \
+    $DISTBASE/$DISTNAME/lib/html/index1.html \
+    $DISTBASE/$DISTNAME/lib/html/index2.html
 
 
 # final note