wok diff xmgrace/receipt @ rev 21446

minicom: modified WGET_URL
author: Hans-G?nter Theisgen
date: Mon Apr 29 16:13:18 2019 +0100 (2019-04-29)
parents: b103fbd6b3b8
children: adc1d6ae992b
     1.1 --- a/xmgrace/receipt	Thu Dec 10 21:28:40 2015 +0100
     1.2 +++ b/xmgrace/receipt	Mon Apr 29 16:13:18 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 \