wok diff jikes-dev/receipt @ rev 22177

corrected font-manager
author: Hans-G?nter Theisgen
date: Sat Nov 09 11:33:35 2019 +0100 (2019-11-09)
parents: 153b06465dc8
children: 7dd01dedad38
     1.1 --- a/jikes-dev/receipt	Tue Jun 16 10:24:59 2009 +0000
     1.2 +++ b/jikes-dev/receipt	Sat Nov 09 11:33:35 2019 +0100
     1.3 @@ -5,6 +5,7 @@
     1.4  CATEGORY="development"
     1.5  SHORT_DESC="jikes devel files."
     1.6  MAINTAINER="rcx@zoominternet.net"
     1.7 +LICENSE="EPL"
     1.8  WEB_SITE="http://jikes.sourceforge.net/"
     1.9  WANTED="jikes"
    1.10  
    1.11 @@ -12,6 +13,5 @@
    1.12  genpkg_rules()
    1.13  {
    1.14  	mkdir -p $fs/usr
    1.15 -	cp -a $_pkg/usr/include $fs/usr
    1.16 +	cp -a $install/usr/include $fs/usr
    1.17  }
    1.18 -