wok diff pari-dev/receipt @ rev 21524

updated ncdu (1.13 -> 1.14)
author: Hans-G?nter Theisgen
date: Fri May 03 17:30:38 2019 +0100 (2019-05-03)
parents: 380ffe05937a
children: 8cd03bcd99f2
     1.1 --- a/pari-dev/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/pari-dev/receipt	Fri May 03 17:30:38 2019 +0100
     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  }