wok-current diff grub4dos/receipt @ rev 8074

Up: gst-plugins-bad to 0.10.21.
author Christopher Rogers <slaxemulator@gmail.com>
date Fri Jan 21 19:51:33 2011 +0000 (2011-01-21)
parents 5af4ef0cffa1
children c08cda6805e8
line diff
     1.1 --- a/grub4dos/receipt	Fri Dec 24 17:06:42 2010 +0100
     1.2 +++ b/grub4dos/receipt	Fri Jan 21 19:51:33 2011 +0000
     1.3 @@ -20,6 +20,7 @@
     1.4  		touch $(basename $i)
     1.5  	done
     1.6  	sh ./configure --prefix=/usr --infodir=/usr/share/info \
     1.7 +	--enable-preset-menu=../stuff/menu.lst \
     1.8  	--without-curses --mandir=/usr/share/man \
     1.9  	$CONFIGURE_ARGS &&
    1.10  	make &&