wok diff graveman/receipt @ rev 23430
updated phppgadmin (5.1 -> 7.12.1)
author | Hans-G?nter Theisgen |
---|---|
date | Wed Apr 01 17:01:57 2020 +0100 (2020-04-01) |
parents | 380ffe05937a |
children | 453c249b6219 |
line diff
1.1 --- a/graveman/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/graveman/receipt Wed Apr 01 17:01:57 2020 +0100 1.3 @@ -16,7 +16,6 @@ 1.4 # Rules to configure and make the package. 1.5 compile_rules() 1.6 { 1.7 - cd $src 1.8 ./configure \ 1.9 --prefix=/usr $CONFIGURE_ARGS && 1.10 make && 1.11 @@ -32,5 +31,7 @@ 1.12 cp -a $install/usr/share/pixmaps $fs/usr/share 1.13 cp -a $install/usr/share/graveman $fs/usr/share 1.14 cp -a $install/usr/share/locale/fr $fs/usr/share/locale 1.15 + sed 's|graveman-main.png|graveman48.png|' \ 1.16 + -i $fs/usr/share/graveman/dialog_about.glade 1.17 } 1.18