Admin/MacOS/mk

--- a/Admin/MacOS/mk	Mon Dec 22 16:57:11 2008 +0100
+++ b/Admin/MacOS/mk	Mon Dec 22 19:57:49 2008 +0100
@@ -11,9 +11,9 @@
   -a Isabelle -u Isabelle \
   -I "de.tum.in.isabelle" \
   -i "$THIS/isabelle.icns" \
-  -D -X .thy \
+  -D -X thy \
   -p /bin/bash \
   -c "$THIS/script" \
   -o None \
   -f "$COCOADIALOG_APP" \
-  "$THIS/Isabelle.app"
+  Isabelle.app