1.1 --- a/Admin/makedist	Mon Sep 26 23:43:52 2011 +0200
     1.2 +++ b/Admin/makedist	Mon Sep 26 23:51:59 2011 +0200
     1.3 @@ -178,7 +178,6 @@
     1.4      echo
     1.5    } >ANNOUNCE
     1.6  else
     1.7 -  rm Isabelle Isabelle.exe
     1.8    perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
     1.9  fi
    1.10