wok rev 22824

graveman: change icon for 'about'
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Feb 06 17:19:39 2020 +0100 (13 months ago)
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