Admin/makedist
changeset 37217 b2769ba027b0
parent 34037 6782e3a9169f
child 37341 b0eda879d735
--- a/Admin/makedist	Mon May 31 21:06:57 2010 +0200
+++ b/Admin/makedist	Mon May 31 21:29:27 2010 +0200
@@ -148,6 +148,8 @@
 
 cp doc/isabelle*.eps lib/logo
 
+rm Isabelle Isabelle.exe
+
 
 if [ -z "$RELEASE" ]; then
   {