Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
convenient access to application properties;
authorwenzelm
Thu, 10 Sep 2015 14:18:09 +0200
changeset 61151 9005aeb8125a
parent 61150 d85d8f5e921b
child 61152 13b2fd801692
convenient access to application properties;
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_bundle	Thu Sep 10 14:12:22 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Thu Sep 10 14:18:09 2015 +0200
@@ -381,6 +381,7 @@
           chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
 
         mv "$ISABELLE_NAME" "$APP/Contents/Resources/."
+        ln -sf "../../Info.plist" "$APP/Contents/Resources/$ISABELLE_NAME/${ISABELLE_NAME}.plist"
         ln -sf "Contents/Resources/$ISABELLE_NAME" "$APP/Isabelle"
 
         rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
isabelle