Admin/MacOS/App2/mk

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App2/mk	Fri Jul 03 16:36:02 2009 +0200
@@ -0,0 +1,12 @@
+#!/bin/bash
+#
+# Make Isabelle/JVM application bundle
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+APP="$THIS/Isabelle.app"
+
+mkdir -p "$APP/Contents/Resources/Java"
+cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java"
+cp "$THIS/../isabelle.icns" "$APP/Contents/Resources"
+