wok-next diff gnugo/receipt @ rev 21597

updated dosbox (0.74-2 -> 0.74.3)
author Hans-G?nter Theisgen
date Wed Jun 24 14:18:09 2020 +0100 (2020-06-24)
parents f48456621a9d
children
line diff
     1.1 --- a/gnugo/receipt	Tue Oct 16 16:46:05 2018 +0300
     1.2 +++ b/gnugo/receipt	Wed Jun 24 14:18:09 2020 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  		--mandir=/usr/share/man \
     1.5  		$CONFIGURE_ARGS &&
     1.6  	make &&
     1.7 -	make DESTDIR=$DESTDIR install
     1.8 +	make DESTDIR=$install install
     1.9  }
    1.10  
    1.11  genpkg_rules() {