| changeset 5169 | c677baeac0f7 |
| parent 4986 | d4f257d3445a |
| child 5171 | cca9a908c270 |
--- a/Admin/makedist Tue Jul 21 12:12:52 1998 +0200 +++ b/Admin/makedist Tue Jul 21 16:38:25 1998 +0200 @@ -182,7 +182,7 @@ s/{PACKED_SIZE}/$PACKED_SIZE/g; \ s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \ s/{AUTHOR}/$LOGNAME/g; \ - s/{DATE}/$DATE/g;" index.html + s/{DATE}/$DATE/g;" index.html $DISTNAME/lib/html/index1.html $DISTNAME/lib/html/index2.html # final note