wok diff mingw32-runtime/receipt @ rev 20615

Update varka
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri Dec 21 20:44:57 2018 +0100 (2018-12-21)
parents ed8073aa8cf0
children afae00265386
line diff
     1.1 --- a/mingw32-runtime/receipt	Mon Dec 21 00:07:14 2015 +0100
     1.2 +++ b/mingw32-runtime/receipt	Fri Dec 21 20:44:57 2018 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	sed -i 's|/doc/|/share&|' configure */configure Makefile.in
     1.8  	if [ "$MINGW32_ID" != "$MINGW32_TARGET" ] ; then
     1.9  		echo "ERROR: Conf 'TARGET' string differs from Receipt 'ID' string"
    1.10  		return 1