Bug#466997: wxmaxima: bad desktop file

2008-11-01 Thread Luis Saavedra
Subject: wxmaxima: bad desktop file Package: wxmaxima Followup-For: Bug #466997 tags 466997 patch subscribe 466997 [EMAIL PROTECTED] thanks The following patch fixes Bug#466997 --- wxmaxima-0.7.1/debian/patches/00wxmaxima.desktop.patch 2008-11-01 20:49:19.0 -0300 +++ wxmaxima-0.7.

Bug#466997: wxmaxima: bad desktop file

2008-02-22 Thread L. Redrejo
Package: wxmaxima Version: 0.7.1-1 Severity: normal Hi, the /usr/share/applications/wxmaxima.desktop file has the line: Icon=maximaicon.xpm and no freedesktop.org compatible desktop (as Gnome, KDE, etc.) is able to find this icon, as it just does not exist. Please, change that line by Icon=/usr/