wok diff mingw32-runtime/receipt @ rev 22376

glibmm-dev was new compiled
author: Hans-G?nter Theisgen
date: Wed Nov 27 16:57:11 2019 +0100 (2019-11-27)
parents: ed8073aa8cf0
children: afae00265386
     1.1 --- a/mingw32-runtime/receipt	Mon Dec 21 00:07:14 2015 +0100
     1.2 +++ b/mingw32-runtime/receipt	Wed Nov 27 16:57:11 2019 +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