wok diff xmgrace/receipt @ rev 22054

updated ttf-dejavu and ttf-dejavu-extra (2.35 -> 2.37)
author: Hans-G?nter Theisgen
date: Wed Oct 23 15:28:01 2019 +0100 (2019-10-23)
parents: b103fbd6b3b8
children: adc1d6ae992b
     1.1 --- a/xmgrace/receipt	Thu Dec 10 21:28:40 2015 +0100
     1.2 +++ b/xmgrace/receipt	Wed Oct 23 15:28:01 2019 +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 \