From c0f1c161cd53f60f384ec577198c7075ae00e35d Mon Sep 17 00:00:00 2001 From: tnut Date: Thu, 10 Feb 2011 16:08:07 +0100 Subject: gnome, suppression des ports --- gnome/yelp/Pkgfile | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 gnome/yelp/Pkgfile (limited to 'gnome/yelp/Pkgfile') diff --git a/gnome/yelp/Pkgfile b/gnome/yelp/Pkgfile deleted file mode 100644 index c0869a1ae..000000000 --- a/gnome/yelp/Pkgfile +++ /dev/null @@ -1,20 +0,0 @@ -# Description: Programme de base pour la documentation de gnome -# URL: http://www.gnome.org/ -# Maintainer: NuTyX core team -# Packager: thierryn1 at hispeed dot ch -# Depends on: libgnomeui, startup-notification, xulrunner -# Run on: libgnomeui,startup-notification,xulrunner - -name=yelp -version=2.30.0 -release=1 -source=(http://ftp.gnome.org/pub/gnome/sources/$name/${version%.*}/$name-$version.tar.bz2) - -build() { - cd $name-$version - ./configure --prefix=$GNOME_PREFIX \ - --sysconfdir=/etc \ - --localstatedir=/var/lib - make - make DESTDIR=$PKG install -} -- cgit v1.2.3-70-g09d2