# HG changeset patch
# User wenzelm
# Date 1317073919 -7200
# Node ID 26f94c72f306bade9762b46be947804b5f90a9f6
# Parent  43ec38eb89b9907cc1571d14ad4ff632cafdce01
keep top-level "Isabelle" executable -- now an alias for "isabelle jedit";

diff -r 43ec38eb89b9 -r 26f94c72f306 Admin/makedist
--- a/Admin/makedist	Mon Sep 26 23:43:52 2011 +0200
+++ b/Admin/makedist	Mon Sep 26 23:51:59 2011 +0200
@@ -178,7 +178,6 @@
     echo
   } >ANNOUNCE
 else
-  rm Isabelle Isabelle.exe
   perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
 fi