Admin/makedist
changeset 4550 53553ccda0e6
parent 4549 aa02667fb3da
child 4979 8b94f31a3022
equal deleted inserted replaced
4549:aa02667fb3da 4550:53553ccda0e6
   174 
   174 
   175 perl -pi -e \
   175 perl -pi -e \
   176  "s/{ISABELLE}/$DISTNAME/g; \
   176  "s/{ISABELLE}/$DISTNAME/g; \
   177   s/{PACKED_SIZE}/$PACKED_SIZE/g; \
   177   s/{PACKED_SIZE}/$PACKED_SIZE/g; \
   178   s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
   178   s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \
       
   179   s/{AUTHOR}/$LOGNAME/g; \
   179   s/{DATE}/$DATE/g;" index.html
   180   s/{DATE}/$DATE/g;" index.html
   180 
   181 
   181 
   182 
   182 # final note
   183 # final note
   183 
   184