diff options
Diffstat (limited to 'gnome/gedit-plugins/Pkgfile')
-rw-r--r-- | gnome/gedit-plugins/Pkgfile | 23 |
1 files changed, 0 insertions, 23 deletions
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 -} - |