# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1581005979 -3600
# Node ID 4c57dfb4f4c3b10e155b64b2efb7813a3bcdb0ea
# Parent  587d54bf66fa2dfdf2fff5d1c575d265b2cbedb2
graveman: change icon for 'about'

diff -r 587d54bf66fa -r 4c57dfb4f4c3 emu8051/receipt
--- a/emu8051/receipt	Thu Feb 06 13:16:19 2020 +0100
+++ b/emu8051/receipt	Thu Feb 06 17:19:39 2020 +0100
@@ -37,8 +37,9 @@
 [Desktop Entry]
 Type=Application
 Name=8051 simulator
-Name[fr]=simulateur 8051
+Name[fr]=simulateur de 8051
 Exec=emu8051-gtk
+Icon=computer
 Categories=Development;
 EOT
 }
diff -r 587d54bf66fa -r 4c57dfb4f4c3 graveman/receipt
--- a/graveman/receipt	Thu Feb 06 13:16:19 2020 +0100
+++ b/graveman/receipt	Thu Feb 06 17:19:39 2020 +0100
@@ -16,7 +16,6 @@
 # Rules to configure and make the package.
 compile_rules()
 {
-	cd $src
 	./configure \
 		--prefix=/usr  $CONFIGURE_ARGS &&
 		make &&
@@ -32,5 +31,7 @@
 	cp -a $install/usr/share/pixmaps $fs/usr/share
 	cp -a $install/usr/share/graveman $fs/usr/share
 	cp -a $install/usr/share/locale/fr $fs/usr/share/locale
+	sed 's|graveman-main.png|graveman48.png|' \
+		-i $fs/usr/share/graveman/dialog_about.glade
 }