diff -r 2e91cc4ddf29 -r 04cb7e02ca38 Admin/makedist
--- a/Admin/makedist	Tue Oct 30 10:51:35 2007 +0100
+++ b/Admin/makedist	Tue Oct 30 10:51:35 2007 +0100
@@ -190,7 +190,7 @@
   } >ANNOUNCE
 fi
 
-perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
+perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.html
 perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version
 perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README