Admin/makedist

 perl -pi -e \
  "s/{ISABELLE}/$DISTNAME/g; \
   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
 
 echo