Admin/makedist
changeset 4550 53553ccda0e6
parent 4549 aa02667fb3da
child 4979 8b94f31a3022
--- 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