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.
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/
2 matches
Mail list logo