# HG changeset patch
# User wenzelm
# Date 909047383 -7200
# Node ID 26772f4543fc520e913a7916f1e945d641c2e5f8
# Parent  a9f8cb9b5b5d44cbbdbffafaab92f6fb8bc78223
tuned;

diff -r a9f8cb9b5b5d -r 26772f4543fc Admin/makedist
--- a/Admin/makedist	Thu Oct 22 10:58:50 1998 +0200
+++ b/Admin/makedist	Thu Oct 22 11:09:43 1998 +0200
@@ -184,7 +184,8 @@
   s/{PACKED_SIZE}/$PACKED_SIZE/g; \
   s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
   s/{AUTHOR}/$LOGNAME/g; \
-  s/{DATE}/$DATE/g;" index.html $DISTNAME/lib/html/index1.html $DISTNAME/lib/html/index2.html
+  s/{DATE}/$DATE/g;" \
+    $DISTBASE/index.html $DISTNAME/lib/html/index1.html $DISTNAME/lib/html/index2.html
 
 
 # final note