remove presently unused Isabelle application for official releases;
authorwenzelm
Sat Jan 15 12:55:19 2011 +0100 (2011-01-15)
changeset 4156020f33469cba7
parent 41559 38f379224369
child 41568 a6304284b5ef
child 41571 19017138241c
remove presently unused Isabelle application for official releases;
Admin/makedist
     1.1 --- a/Admin/makedist	Sat Jan 15 12:19:07 2011 +0100
     1.2 +++ b/Admin/makedist	Sat Jan 15 12:55:19 2011 +0100
     1.3 @@ -153,7 +153,6 @@
     1.4  
     1.5  cp doc/isabelle*.eps lib/logo
     1.6  
     1.7 -
     1.8  if [ -z "$RELEASE" ]; then
     1.9    {
    1.10      echo
    1.11 @@ -165,6 +164,7 @@
    1.12      echo
    1.13    } >ANNOUNCE
    1.14  else
    1.15 +  rm Isabelle Isabelle.exe
    1.16    perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
    1.17  fi
    1.18