wok diff xmgrace/receipt @ rev 21976
updated stjerm-terminal (0.11 -> 0.18)
author | Hans-G?nter Theisgen |
---|---|
date | Fri Oct 11 16:29:19 2019 +0100 (2019-10-11) |
parents | b103fbd6b3b8 |
children | adc1d6ae992b |
line diff
1.1 --- a/xmgrace/receipt Thu Dec 10 21:28:40 2015 +0100 1.2 +++ b/xmgrace/receipt Fri Oct 11 16:29:19 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 \