changeset 41560 | 20f33469cba7 |
parent 41511 | 2fe62d602681 |
child 41607 | 351aa5f7d130 |
--- a/Admin/makedist Sat Jan 15 12:19:07 2011 +0100 +++ b/Admin/makedist Sat Jan 15 12:55:19 2011 +0100 @@ -153,7 +153,6 @@ cp doc/isabelle*.eps lib/logo - if [ -z "$RELEASE" ]; then { echo @@ -165,6 +164,7 @@ 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