Admin/makedist
changeset 33844 813b091dd63b
parent 32361 141e5151b918
child 33899 07ab63b320dd
--- a/Admin/makedist	Sun Nov 22 14:49:36 2009 +0100
+++ b/Admin/makedist	Sun Nov 22 14:59:27 2009 +0100
@@ -147,6 +147,8 @@
 
 cp doc/isabelle*.eps lib/logo
 
+rm Isabelle Isabelle.exe
+
 
 if [ -z "$RELEASE" ]; then
   {