fixed {ISABELLE};
authorwenzelm
Mon, 01 Mar 1999 19:10:43 +0100
changeset 6296 9da8f9262c4c
parent 6295 351b3c2b0d83
child 6297 5b9fbdfe22b7
fixed {ISABELLE};
Admin/makedist
--- a/Admin/makedist	Mon Mar 01 18:38:43 1999 +0100
+++ b/Admin/makedist	Mon Mar 01 19:10:43 1999 +0100
@@ -156,6 +156,19 @@
 lynx -dump README.html >README
 
 
+# prepare index.html
+
+perl -pi -e \
+ "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 \
+    lib/html/index1.html \
+    lib/html/index2.html
+
+
 # create archive
 
 cd $DISTBASE
@@ -177,19 +190,6 @@
 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/{AUTHOR}/$LOGNAME/g; \
-  s/{DATE}/$DATE/g;" \
-    $DISTBASE/index.html \
-    $DISTBASE/$DISTNAME/lib/html/index1.html \
-    $DISTBASE/$DISTNAME/lib/html/index2.html
-
-
 # final note
 
 echo