Admin/makedist
changeset 5727 1b708bfb0c1e
parent 5725 26772f4543fc
child 5769 6a422b22ba02
--- 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