Admin/makedist
changeset 41560 20f33469cba7
parent 41511 2fe62d602681
child 41607 351aa5f7d130
     1.1 --- a/Admin/makedist	Sat Jan 15 12:19:07 2011 +0100
     1.2 +++ b/Admin/makedist	Sat Jan 15 12:55:19 2011 +0100
     1.3 @@ -153,7 +153,6 @@
     1.4  
     1.5  cp doc/isabelle*.eps lib/logo
     1.6  
     1.7 -
     1.8  if [ -z "$RELEASE" ]; then
     1.9    {
    1.10      echo
    1.11 @@ -165,6 +164,7 @@
    1.12      echo
    1.13    } >ANNOUNCE
    1.14  else
    1.15 +  rm Isabelle Isabelle.exe
    1.16    perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
    1.17  fi
    1.18