wok-6.x diff xmgrace/receipt @ rev 23426

updated php packages (7.3.16 -> 7.4.4)
author: Hans-G?nter Theisgen
date: Wed Apr 01 15:23:29 2020 +0100 (2020-04-01)
parents: b103fbd6b3b8
children: adc1d6ae992b
     1.1 --- a/xmgrace/receipt	Thu Dec 10 21:28:40 2015 +0100
     1.2 +++ b/xmgrace/receipt	Wed Apr 01 15:23:29 2020 +0100
     1.3 @@ -16,6 +16,7 @@
     1.4  
     1.5  compile_rules()
     1.6  {
     1.7 +	sed -i 's|/man/|/share&|' doc/Makefile*
     1.8  	./configure $CONFIGURE_ARGS \
     1.9  		--prefix=/usr   --sharedstatedir=/var/lib --localstatedir=/var \
    1.10  		--enable-grace-home=/usr/share/grace \