diff options
Diffstat (limited to 'gnome/gnome-device-manager/Pkgfile')
-rw-r--r-- | gnome/gnome-device-manager/Pkgfile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/gnome/gnome-device-manager/Pkgfile b/gnome/gnome-device-manager/Pkgfile deleted file mode 100644 index 63c4362ae..000000000 --- a/gnome/gnome-device-manager/Pkgfile +++ /dev/null @@ -1,19 +0,0 @@ -# Description: Gestionnaire des périphériques pour GNOME -# URL: http://www.gnome.org -# Maintainer: NuTyX core team -# Packager: thierryn1 at hispeed dot ch -# Depends on: hal, hicolor-icon-theme, libgnomeui -# Run on: hal,hicolor-icon-theme,libgnomeui - -name=gnome-device-manager -version=0.2 -release=1 -source=(http://hal.freedesktop.org/releases/$name-$version.tar.bz2) -build() { - cd $name-$version - ./configure --prefix=$GNOME_PREFIX \ - --localstatedir=/var --disable-scrollkeeper \ - --disable-static - make - make DESTDIR=$PKG install -} |