diff -r 85539b33be03 -r d0eae42f6d12 Admin/makedist
--- a/Admin/makedist	Fri May 05 22:23:27 2000 +0200
+++ b/Admin/makedist	Fri May 05 22:24:03 2000 +0200
@@ -157,7 +157,7 @@
   } >UNOFFICIAL
 fi
 
-perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index1.html lib/html/index2.html
+perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.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