wok-next diff mingw32-gcc/receipt @ rev 18059

merge default
author Nathan Neulinger <nneul@neulinger.org>
date Sat May 16 14:55:56 2015 +0000 (2015-05-16)
parents 380ffe05937a
children 9e01bc6321ea
line diff
     1.1 --- a/mingw32-gcc/receipt	Sat Aug 10 17:00:38 2013 +0000
     1.2 +++ b/mingw32-gcc/receipt	Sat May 16 14:55:56 2015 +0000
     1.3 @@ -30,6 +30,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	mkdir -p $DESTDIR/usr/share/man/man1 $DESTDIR/usr/share/man/man7 
     1.8  	if [ "$MINGW32_ID" != "$MINGW32_TARGET" ] ; then
     1.9  		echo "ERROR: Conf 'TARGET' string differs from Receipt 'ID' string"
    1.10  		return 1