From c0f1c161cd53f60f384ec577198c7075ae00e35d Mon Sep 17 00:00:00 2001
From: tnut <thierryn1 at hispeed dot ch>
Date: Thu, 10 Feb 2011 16:08:07 +0100
Subject: gnome, suppression des ports

---
 gnome/gedit-plugins/Pkgfile | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 gnome/gedit-plugins/Pkgfile

(limited to 'gnome/gedit-plugins/Pkgfile')

diff --git a/gnome/gedit-plugins/Pkgfile b/gnome/gedit-plugins/Pkgfile
deleted file mode 100644
index 737800a86..000000000
--- a/gnome/gedit-plugins/Pkgfile
+++ /dev/null
@@ -1,23 +0,0 @@
-# Description: Jeux de plugins pour gedit
-# URL: http://live.gnome.org/GeditPlugins 
-# Maintainer: NuTyX core team
-# Packager: zatmania at gotofreedom dot org 
-# Depends on: gedit, pygtksourceview, gucharmap, vte
-# Run on: gedit,pygtksourceview,gucharmap,vte
-
-name=gedit-plugins
-version=2.28.0
-release=2
-source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.bz2)
-
-build() {
-    cd $name-$version
-    ./configure \
-        --prefix=$GNOME_PREFIX \
-        --with-plugins=all \
-        --disable-schemas-install \
-	--sysconfdir=/etc
-    make
-    make DESTDIR=$PKG install
-}
-
-- 
cgit v1.2.3-70-g09d2