wok rev 1633

grub: add CONFIG_FILES
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Oct 23 20:33:28 2008 +0000 (2008-10-23)
parents a42e1101de3e
children 4da89e6150fe
files grub/receipt
line diff
     1.1 --- a/grub/receipt	Thu Oct 23 20:32:09 2008 +0000
     1.2 +++ b/grub/receipt	Thu Oct 23 20:33:28 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