--- a/Admin/makedist Fri Jan 09 20:07:57 1998 +0100
+++ b/Admin/makedist Fri Jan 09 20:28:18 1998 +0100
@@ -176,6 +176,7 @@
"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