Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 54671 d64a4ef26edb
parent 54661 6ad5242deaa7
parent 54392 f14791d4f08d
child 56620 5de64a07b0e3 
--- a/Admin/lib/Tools/makedist_bundle	Thu Dec 05 17:52:12 2013 +0100
+++ b/Admin/lib/Tools/makedist_bundle	Thu Dec 05 17:58:03 2013 +0100
@@ -261,7 +261,7 @@
       (
         cd "$TMP"
 
-        APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS/App3"
+        APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS"
         APP="${ISABELLE_NAME}.app"
 
         for NAME in Java MacOS PlugIns Resources
@@ -289,7 +289,6 @@
         done
 
         cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
-        cp "$APP_TEMPLATE/../isabelle.icns" "$APP/Contents/Resources/."
 
         ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
           "$APP/Contents/PlugIns/jdk"
isabelle