# HG changeset patch # User wenzelm # Date 884372877 -3600 # Node ID aa02667fb3da7cb7c4aca4a4f41a829667435abc # Parent 108b130efabf18b6afac2afa1f614de83dd7982e automatic index.html patch; diff -r 108b130efabf -r aa02667fb3da Admin/index.html --- a/Admin/index.html Fri Jan 09 14:28:20 1998 +0100 +++ b/Admin/index.html Fri Jan 09 20:07:57 1998 +0100 @@ -10,15 +10,19 @@

Distribution Area

+align=bottom src="{ISABELLE}/lib/logo/isabelle.gif" width=100 +alt="Isabelle"> Distribution Area

Mirror sites

Cambridge (UK) +
Cambridge +(UK)
Munich @@ -30,27 +34,27 @@
+
Isabelle releases
- Isabelle_07-Jan-1998 - - sneak preview of the forthcoming -Isabelle98 release: README, archive (1895K), same unpacked (8019K). +
- {ISABELLE} - sneak preview of +the forthcoming Isabelle98 release: README, archive ({PACKED_SIZE}K), same unpacked ({UNPACKED_SIZE}K).
  Isabelle documentation (as included in the distribution):
  @@ -70,6 +74,8 @@
  +{DATE} + diff -r 108b130efabf -r aa02667fb3da Admin/makedist --- a/Admin/makedist Fri Jan 09 14:28:20 1998 +0100 +++ b/Admin/makedist Fri Jan 09 20:07:57 1998 +0100 @@ -123,6 +123,7 @@ find Doc $ -name \*.dvi -o -name \*.eps -o -name \*.ps $ -exec mv {} Distribution/doc \; rm Distribution/doc/Isa-logics.eps +cp Admin/index.html $DISTBASE rm -rf Admin Doc mkdir src @@ -157,11 +158,26 @@ if type -path gtar then - gtar czf $DISTNAME.tar.gz $DISTNAME + gtar cf $DISTNAME.tar $DISTNAME else - tar cf - $DISTNAME | gzip >$DISTNAME.tar.gz + tar cf $DISTNAME.tar $DISTNAME fi +UNPACKED_SIZE=$[ $(wc -c <$DISTNAME.tar) / 1024 ] + +gzip $DISTNAME.tar + +PACKED_SIZE=$[ $(wc -c <$DISTNAME.tar.gz) / 1024 ] + + +# prepare index.html + +perl -pi -e \ + "s/{ISABELLE}/$DISTNAME/g; \ + s/{PACKED_SIZE}/$PACKED_SIZE/g; \ + s/{UNPACKED_SIZE}/$UNPACKED_SIZE/g; \ + s/{DATE}/$DATE/g;" index.html + # final note

Distribution Area

Mirror sites

Isabelle releases