wok rev 22178

corrected font-manager again
author Hans-G?nter Theisgen
date Sat Nov 09 11:39:06 2019 +0100 (10 days ago)
parents 7dd1225d9461
children 65ea21135647
files font-manager/receipt
line diff
     1.1 --- a/font-manager/receipt	Sat Nov 09 11:33:35 2019 +0100
     1.2 +++ b/font-manager/receipt	Sat Nov 09 11:39:06 2019 +0100
     1.3 @@ -22,6 +22,10 @@
     1.4  	export	CONFIG_SHELL=/bin/bash
     1.5  	export	SHELL=/bin/bash
     1.6  
     1.7 +	chmod	u+x	configure
     1.8 +	chmod	u+x	install-sh
     1.9 +	chmod	u+x	po/pogen.sh
    1.10 +
    1.11  	sed -i 's|FT_XFREE86_H|&\n#define W_OK (2)|' \
    1.12  		src/lib/fm-fontutils.c
    1.13  	./configure			\