wok-6.x diff mingw32-runtime/receipt @ rev 21603

updated ode and ode-dev (0.11.1 -> 0.16)
author: Hans-G?nter Theisgen
date: Thu May 23 10:46:10 2019 +0100 (2019-05-23)
parents: ed8073aa8cf0
children: afae00265386
     1.1 --- a/mingw32-runtime/receipt	Mon Dec 21 00:07:14 2015 +0100
     1.2 +++ b/mingw32-runtime/receipt	Thu May 23 10:46:10 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