Make MacStore like coqide more

including bigger icons

4 files changed, 4 insertions, 2 deletions

diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template
index cba708e94..fd80c8396 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 1946f3d61..107e70431 100644
--- a/ide/MacOS/coqfile.icns
+++ b/ide/MacOS/coqfile.icns
diff --git a/ide/MacOS/coqide.icns b/ide/MacOS/coqide.icns
index 2252bb4b6..92bdfe773 100644
--- a/ide/MacOS/coqide.icns
+++ b/ide/MacOS/coqide.icns
diff --git a/ide/coq.png b/ide/coq.png
index 06aac4597..cccd5a9a1 100644
--- a/ide/coq.png
+++ b/ide/coq.png