wok diff pari-dev/receipt @ rev 19479
paper-icon-theme: update from git, make package a way smaller (remove HiDPI icons and shrink svg icons)
author | Aleksej Bobylev <al.bobylev@gmail.com> |
---|---|
date | Tue Nov 01 04:02:18 2016 +0200 (2016-11-01) |
parents | 380ffe05937a |
children | 8cd03bcd99f2 |
line diff
1.1 --- a/pari-dev/receipt Sat Aug 10 17:00:38 2013 +0000 1.2 +++ b/pari-dev/receipt Tue Nov 01 04:02:18 2016 +0200 1.3 @@ -13,6 +13,6 @@ 1.4 genpkg_rules() 1.5 { 1.6 mkdir -p $fs/usr/lib 1.7 - cp -a $_pkg/usr/include $fs/usr 1.8 - cp -a $_pkg/usr/lib/*.*a $fs/usr/lib 1.9 + cp -a $install/usr/include $fs/usr 1.10 + cp -a $install/usr/lib/*.*a $fs/usr/lib 1.11 }