wok-next diff grub/receipt @ rev 1725

Add mirror-tools
author Pascal Bellard <pascal.bellard@slitaz.org>
date Wed Nov 19 10:32:58 2008 +0000 (2008-11-19)
parents cf22fee17710
children dbf873bf74a8
line diff
     1.1 --- a/grub/receipt	Wed Feb 13 15:26:29 2008 +0100
     1.2 +++ b/grub/receipt	Wed Nov 19 10:32:58 2008 +0000
     1.3 @@ -8,14 +8,15 @@
     1.4  TARBALL="$PACKAGE-$VERSION.tar.gz"
     1.5  WEB_SITE="http://www.gnu.org/software/grub/"
     1.6  WGET_URL="ftp://alpha.gnu.org/gnu/grub/$TARBALL"
     1.7 +CONFIG_FILES="/boot/grub"
     1.8  
     1.9  # Rules to configure and make the package.
    1.10  compile_rules()
    1.11  {
    1.12  	cd $src
    1.13  	./configure --prefix=/usr --infodir=/usr/share/info \
    1.14 -	--mandir=/usr/share/man $CONFIGURE_ARGS
    1.15 -	make
    1.16 +	--mandir=/usr/share/man $CONFIGURE_ARGS &&
    1.17 +	make &&
    1.18  	make DESTDIR=$PWD/_pkg install
    1.19  }
    1.20