wok diff genromfs/receipt @ rev 22746

updated ecj (4.10 -> 4.14)
author: Hans-G?nter Theisgen
date: Fri Jan 24 10:35:46 2020 +0100 (2020-01-24)
parents: 4abd910b5ea9
children: 5ea0ce1cecc0
     1.1 --- a/genromfs/receipt	Mon Oct 20 12:52:14 2014 +0200
     1.2 +++ b/genromfs/receipt	Fri Jan 24 10:35:46 2020 +0100
     1.3 @@ -16,6 +16,7 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 +	sed -i 's|prefix)/man|prefix)/share/man|' Makefile
     1.8  	patch -p0 < $stuff/genromfs.u
     1.9  	make &&
    1.10  	make PREFIX=$DESTDIR install