From c514a452ff3ba2980ddd5a4b2f795af361b3c101 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Sat, 29 Apr 2006 16:32:35 +0000
Subject: Last modifications before upload.

---
 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 1515c273..eec6e22b 100644
--- a/debian/coqide.desktop
+++ b/debian/coqide.desktop
@@ -1,9 +1,9 @@
 [Desktop Entry]
 Encoding=UTF-8
-Name=CoqIde
+Name=CoqIDE
 Comment=Graphical interface for the Coq proof assistant
 Exec=/usr/bin/coqide
 Type=Application
-Categories=GTK;Science;Math;
+Categories=Application;Development;Science;Math;IDE;GTK;
 Terminal=false
-Icon=/usr/share/pixmaps/coq.xpm
+Icon=coq.xpm
-- 
cgit v1.2.3