| changeset 25235 | 04cb7e02ca38 |
| parent 25214 | 91730b492a45 |
| child 25237 | 5dbb6d583adc |
--- 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