wok-current diff mingw32-gcc/receipt @ rev 18713

Translations for Science category (thanks Aleksej)
author Lucas Levrel <llevrel@yahoo.fr>
date Wed Dec 16 20:44:08 2015 +0100 (2015-12-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	Wed Dec 16 20:44:08 2015 +0100
     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