Admin/makedist
changeset 32361 141e5151b918
parent 31842 af5221147455
child 33844 813b091dd63b
     1.1 --- a/Admin/makedist	Tue Aug 11 10:58:36 2009 +0200
     1.2 +++ b/Admin/makedist	Tue Aug 11 15:53:13 2009 +0200
     1.3 @@ -165,8 +165,8 @@
     1.4  perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
     1.5  perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
     1.6  perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
     1.7 -perl -pi -e "s,Isabelle repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
     1.8 -perl -pi -e "s,the internal repository version of Isabelle,$DISTVERSION,g" README
     1.9 +perl -pi -e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
    1.10 +perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
    1.11  
    1.12  
    1.13  # create archives