tuned;
authorwenzelm
Fri, 09 Jan 1998 20:28:18 +0100
changeset 455053553ccda0e6
parent 4549 aa02667fb3da
child 4551 41fa62c229c3
tuned;
Admin/index.html
Admin/makedist
     1.1 --- a/Admin/index.html	Fri Jan 09 20:07:57 1998 +0100
     1.2 +++ b/Admin/index.html	Fri Jan 09 20:28:18 1998 +0100
     1.3 @@ -72,9 +72,9 @@
     1.4  
     1.5  </ul>
     1.6  
     1.7 -<p><hr><p>
     1.8 +<p><hr>
     1.9  
    1.10 -<i>{DATE}</i>
    1.11 +<i>{AUTHOR} {DATE}</i>
    1.12  
    1.13  </body>
    1.14  
     2.1 --- a/Admin/makedist	Fri Jan 09 20:07:57 1998 +0100
     2.2 +++ b/Admin/makedist	Fri Jan 09 20:28:18 1998 +0100
     2.3 @@ -176,6 +176,7 @@
     2.4   "s/{ISABELLE}/$DISTNAME/g; \
     2.5    s/{PACKED_SIZE}/$PACKED_SIZE/g; \
     2.6    s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
     2.7 +  s/{AUTHOR}/$LOGNAME/g; \
     2.8    s/{DATE}/$DATE/g;" index.html
     2.9  
    2.10