1.1 --- a/Admin/makedist	Sun Nov 22 14:49:36 2009 +0100
     1.2 +++ b/Admin/makedist	Sun Nov 22 14:59:27 2009 +0100
     1.3 @@ -147,6 +147,8 @@
     1.4  
     1.5  cp doc/isabelle*.eps lib/logo
     1.6  
     1.7 +rm Isabelle Isabelle.exe
     1.8 +
     1.9  
    1.10  if [ -z "$RELEASE" ]; then
    1.11    {