From 33021618a06a94563d28691940f02a55bd9d358d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sat, 16 May 2020 17:07:37 +0200
Subject: Move CoqIDE to its own folder

The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
---
 ide/MacOS/Info.plist.template |  89 ------------------------------------------
 ide/MacOS/coqfile.icns        | Bin 234599 -> 0 bytes
 ide/MacOS/coqide.icns         | Bin 326632 -> 0 bytes
 3 files changed, 89 deletions(-)
 delete mode 100644 ide/MacOS/Info.plist.template
 delete mode 100644 ide/MacOS/coqfile.icns
 delete mode 100644 ide/MacOS/coqide.icns

(limited to 'ide/MacOS')

diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template
deleted file mode 100644
index e4fb0e5980..0000000000
--- a/ide/MacOS/Info.plist.template
+++ /dev/null
@@ -1,89 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
-<plist version="1.0">
-<dict>
-	<key>CFBundleDocumentTypes</key>
-	<array>
-		<dict>
-			<key>CFBundleTypeExtensions</key>
-			<array>
-				<string>*</string>
-			</array>
-			<key>CFBundleTypeName</key>
-			<string>NSStringPboardType</string>
-			<key>CFBundleTypeOSTypes</key>
-			<array>
-				<string>****</string>
-			</array>
-			<key>CFBundleTypeRole</key>
-			<string>Editor</string>
-		</dict>
-		<dict>
-			<key>CFBundleTypeIconFile</key>
-			<string>coqfile.icns</string>
-			<key>CFBundleTypeName</key>
-			<string>Coq file</string>
-			<key>CFBundleTypeRole</key>
-			<string>Editor</string>
-			<key>CFBundleTypeMIMETypes</key>
-			<array>
-				<string>text/plain</string>
-			</array>
-			<key>CFBundleTypeExtensions</key>
-			<array>
-				<string>v</string>
-			</array>
-			<key>LSHandlerRank</key>
-			<string>Owner</string>
-		</dict>
-		<dict>
-			<key>CFBundleTypeName</key>
-			<string>All</string>
-			<key>CFBundleTypeRole</key>
-			<string>Editor</string>
-			<key>CFBundleTypeMIMETypes</key>
-			<array>
-				<string>text/plain</string>
-			</array>
-			<key>LSHandlerRank</key>
-			<string>Default</string>
-			<key>CFBundleTypeExtensions</key>
-			<array>
-				<string>*</string>
-			</array>
-		</dict>
-	</array>
-	<key>CFBundleIconFile</key>
-	<string>coqide.icns</string>
-	<key>CFBundleVersion</key>
-	<string>390</string>
-	<key>CFBundleName</key>
-	<string>CoqIDE</string>
-	<key>CFBundleShortVersionString</key>
-	<string>VERSION</string>
-	<key>CFBundleDisplayName</key>
-	<string>Coq Proof Assistant vVERSION</string>
-	<key>CFBundleGetInfoString</key>
-	<string>Coq_vVERSION</string>
-	<key>NSHumanReadableCopyright</key>
-	<string>Copyright 1999-2019, Inria, CNRS and contributors</string>
-	<key>CFBundleHelpBookFolder</key>
-	<string>share/doc/coq/html/</string>
-	<key>CFAppleHelpAnchor</key>
-	<string>index</string>
-	<key>CFBundleExecutable</key>
-	<string>coqide</string>
-	<key>CFBundlePackageType</key>
-	<string>APPL</string>
-	<key>CFBundleInfoDictionaryVersion</key>
-	<string>6.0</string>
-	<key>CFBundleIdentifier</key>
-	<string>fr.inria.coq.coqide</string>
-	<key>LSApplicationCategoryType</key>
-	<string>public.app-category.developer-tools</string>
-	<key>CFBundleDevelopmentRegion</key>
-	<string>English</string>
-	<key>NSPrincipalClass</key>
-	<string>NSApplication</string>
-</dict>
-</plist>
diff --git a/ide/MacOS/coqfile.icns b/ide/MacOS/coqfile.icns
deleted file mode 100644
index 107e70431d..0000000000
Binary files a/ide/MacOS/coqfile.icns and /dev/null differ
diff --git a/ide/MacOS/coqide.icns b/ide/MacOS/coqide.icns
deleted file mode 100644
index 92bdfe773f..0000000000
Binary files a/ide/MacOS/coqide.icns and /dev/null differ
-- 
cgit v1.2.3