Bug#383310: coqide .desktop fixes

[Vassilis Pandis]

Package: coq
Version :8.0pl3-2
Severity: minor

This bug was originally reported at http://launchpad.net/bugs/49546 .

The .desktop that comes with coqide does not appear in the menus because of the 
following bug:
http://launchpad.net/bugs/47426. The .desktop would also benefit from other 
minor fixes. Attached
is a diff with proposed alterations. Thanks in advance.



___ 
The all-new Yahoo! Mail goes wherever you go - free your email address from 
your Internet provider. http://uk.docs.yahoo.com/nowyoucan.html--- coqide.old	2006-06-13 10:21:49.0 +0300
+++ coqide.desktop	2006-06-13 10:21:34.0 +0300
@@ -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=GTK;Science;Math;
+Categories=GTK;Science;Math;Application;
 Terminal=false
-Icon=/usr/share/pixmaps/coq.xpm
+Icon=coq

Bug#383310: coqide .desktop fixes

[Samuel Mimram]

Hi,

Vassilis Pandis wrote:
> The .desktop that comes with coqide does not appear in the menus because of 
> the following bug:
> http://launchpad.net/bugs/47426. The .desktop would also benefit from other 
> minor fixes. Attached
> is a diff with proposed alterations. Thanks in advance.

This is already fixed in the experimental version. It will make its way
to unstable when coq 8.1 is officially released.

Thanks for reporting this.

Cheers,

Samuel.


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Bug#383310: coqide .desktop fixes

[Vassilis Pandis]

Thanks and sorry for the noise. I guess I should have checked the debian 
package more thorougly.



___ 
Inbox full of spam? Get leading spam protection and 1GB storage with All New 
Yahoo! Mail. http://uk.docs.yahoo.com/nowyoucan.html


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]