wok-current diff py3k/receipt @ rev 21906

updated shared-mime-info and shared-mime-info-dev (1.6 -> 1.14)
author: Hans-G?nter Theisgen
date: Fri Oct 04 14:42:51 2019 +0100 (2019-10-04)
parents: 605c88c58754
children: 2f230197370e
     1.1 --- a/py3k/receipt	Wed Oct 10 16:24:34 2018 +0200
     1.2 +++ b/py3k/receipt	Fri Oct 04 14:42:51 2019 +0100
     1.3 @@ -19,7 +19,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	mkdir -p $DESTDIR/usr/lib/pkgconfig
     1.8 +	mkdir -p $DESTDIR/usr/lib/pkgconfig build
     1.9  	./configure --enable-shared \
    1.10  	--enable-optimizations \
    1.11  	--prefix=/usr --infodir=/usr/share/info \