Admin/makedist

     echo "This is an unofficial release of Isabelle, created by $LOGNAME $DATE."
     echo
   } >UNOFFICIAL
 fi
 
+perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index1.html lib/html/index2.html
 perl -pi -e "s/Isabelle repository/$DISTVERSION/" src/Pure/ROOT.ML
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README.html
 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

 gzip $DISTNAME.tar
 
 PACKED_SIZE=$[ $(wc -c <$DISTNAME.tar.gz) / 1024 ]
 
 
+# prepare dist 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
+
+
 # final note
 
 echo
 echo "That's it. You'll find the distribution in $DISTBASE."
 echo