# HG changeset patch # User wenzelm # Date 1357752746 -3600 # Node ID ef950fad78079ba8a54bf8d2574ad361cf1b88f6 # Parent 0088e0805b1041b3f6b88fd6d26f3b3bb5566978 tuned; diff -r 0088e0805b10 -r ef950fad7807 Admin/MacOS/App1/build --- a/Admin/MacOS/App1/build Wed Jan 09 18:12:21 2013 +0100 +++ b/Admin/MacOS/App1/build Wed Jan 09 18:32:26 2013 +0100 @@ -18,3 +18,6 @@ -f "$COCOADIALOG_APP" \ "$THIS/script" \ "$PWD/Isabelle.app" + +rm -f Contents/Resources/Isabelle +ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle \ No newline at end of file