wok rev 22824
graveman: change icon for 'about'
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Thu Feb 06 17:19:39 2020 +0100 (2020-02-06) |
parents | 587d54bf66fa |
children | 25f8eb393142 |
files | emu8051/receipt graveman/receipt |
line diff
1.1 --- a/emu8051/receipt Thu Feb 06 13:16:19 2020 +0100 1.2 +++ b/emu8051/receipt Thu Feb 06 17:19:39 2020 +0100 1.3 @@ -37,8 +37,9 @@ 1.4 [Desktop Entry] 1.5 Type=Application 1.6 Name=8051 simulator 1.7 -Name[fr]=simulateur 8051 1.8 +Name[fr]=simulateur de 8051 1.9 Exec=emu8051-gtk 1.10 +Icon=computer 1.11 Categories=Development; 1.12 EOT 1.13 }
2.1 --- a/graveman/receipt Thu Feb 06 13:16:19 2020 +0100 2.2 +++ b/graveman/receipt Thu Feb 06 17:19:39 2020 +0100 2.3 @@ -16,7 +16,6 @@ 2.4 # Rules to configure and make the package. 2.5 compile_rules() 2.6 { 2.7 - cd $src 2.8 ./configure \ 2.9 --prefix=/usr $CONFIGURE_ARGS && 2.10 make && 2.11 @@ -32,5 +31,7 @@ 2.12 cp -a $install/usr/share/pixmaps $fs/usr/share 2.13 cp -a $install/usr/share/graveman $fs/usr/share 2.14 cp -a $install/usr/share/locale/fr $fs/usr/share/locale 2.15 + sed 's|graveman-main.png|graveman48.png|' \ 2.16 + -i $fs/usr/share/graveman/dialog_about.glade 2.17 } 2.18