diff --git a/Admin/MacOS/README b/Admin/MacOS/README
deleted file mode 100644
--- a/Admin/MacOS/README
+++ /dev/null
@@ -1,7 +0,0 @@
-Isabelle/JVM application bundle for macOS
-=========================================
-
-* http://java.net/projects/appbundler
-
-  - see appbundler-1.0.jar
-  - see com/oracle/appbundler/JavaAppLauncher
diff --git a/Admin/components/bundled-macos b/Admin/components/bundled-macos
--- a/Admin/components/bundled-macos
+++ b/Admin/components/bundled-macos
@@ -1,2 +1,1 @@
 #additional components to be bundled for release
-macos_app-20181208