wok diff graveman/receipt @ rev 11760

up tuxtype (1.8.1) and removed extension from desktop file
author Samuel Trassare <samuel_trassare@yahoo.com>
date Wed Feb 22 13:06:57 2012 -0800 (2012-02-22)
parents 01132274fb89
children 7620b0571662
line diff
     1.1 --- a/graveman/receipt	Wed May 18 12:48:12 2011 +0200
     1.2 +++ b/graveman/receipt	Wed Feb 22 13:06:57 2012 -0800
     1.3 @@ -17,8 +17,8 @@
     1.4  {
     1.5  	cd $src
     1.6  	./configure \
     1.7 -		--prefix=/usr  &&
     1.8 -		make && 
     1.9 +		--prefix=/usr  $CONFIGURE_ARGS &&
    1.10 +		make &&
    1.11  		make DESTDIR=$DESTDIR install
    1.12  }
    1.13