From d48088e46f19072a4ad26dca191dff68c227300e Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Wed, 16 Aug 2006 14:01:42 +0000
Subject: Minor improvements of the coqide.desktop file.

---
 debian/coqide.desktop | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'debian/coqide.desktop')

diff --git a/debian/coqide.desktop b/debian/coqide.desktop
index eec6e22b..c56bfec4 100644
--- a/debian/coqide.desktop
+++ b/debian/coqide.desktop
@@ -1,9 +1,9 @@
 [Desktop Entry]
 Encoding=UTF-8
-Name=CoqIDE
+Name=CoqIDE Proof Assistant
 Comment=Graphical interface for the Coq proof assistant
-Exec=/usr/bin/coqide
+Exec=coqide
 Type=Application
 Categories=Application;Development;Science;Math;IDE;GTK;
 Terminal=false
-Icon=coq.xpm
+Icon=coq
-- 
cgit v1.2.3