wok diff mingw32-gcc/receipt @ rev 17848

Add: monkey-1.5.6
author necrophcodr <necrophcodr@necrophcodr.me>
date Tue Mar 24 15:46:17 2015 +0000 (2015-03-24)
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	Tue Mar 24 15:46:17 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