wok diff mingw32-gcc/receipt @ rev 16732

Up: php(5.5.13)
author Eric Joseph-Alexandre <erjo@slitaz.org>
date Tue Jun 03 00:56:41 2014 +0200 (2014-06-03)
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 Jun 03 00:56:41 2014 +0200
     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