wok diff ocaml/receipt @ rev 21011

updated gtklife (5.1 -> 5.2)
author: Hans-G?nter Theisgen
date: Sat Mar 09 15:17:33 2019 +0100 (2019-03-09)
parents: 23c3aed67cd9
children: 019e49ad6c06
     1.1 --- a/ocaml/receipt	Thu Dec 05 20:23:08 2013 +0000
     1.2 +++ b/ocaml/receipt	Sat Mar 09 15:17:33 2019 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	cd $src
     1.8 +	sed -i 's|PREFIX)/man|PREFIX)/share/man|' configure
     1.9  	grep -q true build/camlp4-targets.sh ||
    1.10  		sed -i 's/base=.*/& || true/' build/camlp4-targets.sh
    1.11  	./configure --prefix /usr \