Admin/MacOS/App2/mk

--- a/Admin/MacOS/App2/mk	Mon Nov 11 21:16:23 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-#!/usr/bin/env 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"
-