From 1774a87504945a6e8b8aa465297dce672364b8a4 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Wed, 23 Jul 2014 16:44:05 +0200
Subject: Make MacStore like coqide more

including bigger icons
---
 ide/MacOS/Info.plist.template |   6 ++++--
 ide/MacOS/coqfile.icns        | Bin 50724 -> 234599 bytes
 ide/MacOS/coqide.icns         | Bin 38372 -> 326632 bytes
 ide/coq.png                   | Bin 6269 -> 71924 bytes
 4 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template
index cba708e946..fd80c83969 100644
--- a/ide/MacOS/Info.plist.template
+++ b/ide/MacOS/Info.plist.template
@@ -60,7 +60,7 @@
 	<key>CFBundleName</key>
 	<string>CoqIDE</string>
 	<key>CFBundleShortVersionString</key>
-	<string>Coq_vVERSION</string>
+	<string>VERSION</string>
 	<key>CFBundleDisplayName</key>
 	<string>Coq Proof Assistant vVERSION</string>
 	<key>CFBundleGetInfoString</key>
@@ -78,7 +78,9 @@
 	<key>CFBundleInfoDictionaryVersion</key>
 	<string>6.0</string>
 	<key>CFBundleIdentifier</key>
-	<string>fr.inria.coqide</string>
+	<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>
diff --git a/ide/MacOS/coqfile.icns b/ide/MacOS/coqfile.icns
index 1946f3d619..107e70431d 100644
Binary files a/ide/MacOS/coqfile.icns and b/ide/MacOS/coqfile.icns differ
diff --git a/ide/MacOS/coqide.icns b/ide/MacOS/coqide.icns
index 2252bb4b64..92bdfe773f 100644
Binary files a/ide/MacOS/coqide.icns and b/ide/MacOS/coqide.icns differ
diff --git a/ide/coq.png b/ide/coq.png
index 06aac45977..cccd5a9a19 100644
Binary files a/ide/coq.png and b/ide/coq.png differ
-- 
cgit v1.2.3