1.1 --- a/Admin/makedist	Tue Oct 30 10:51:35 2007 +0100
     1.2 +++ b/Admin/makedist	Tue Oct 30 10:51:35 2007 +0100
     1.3 @@ -190,7 +190,7 @@
     1.4    } >ANNOUNCE
     1.5  fi
     1.6  
     1.7 -perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/index.html
     1.8 +perl -pi -e "s/{ISABELLE}/$DISTNAME/g;" lib/html/library_index_header.html
     1.9  perl -pi -e "s/Isabelle repository version/$DISTVERSION/" src/Pure/ROOT.ML lib/Tools/version
    1.10  perl -pi -e "s/the internal repository version of Isabelle/$DISTVERSION/" README
    1.11