blob: 433cd0883d80b4611a0a03474f9691d06c1fe4d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Description: Plugin d'édition collaborative pour Gedit.
# URL: http://live.gnome.org/GeditPlugins
# Maintainer: NuTyX GNOME team
# Packager: piernov <piernov@piernov.org>
# Depends on: gedit, libinfinity
# Run on: gedit,libinfinity
name=gedit-collaboration
version=3.4.0
release=1
source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.xz)
build() {
cd $name-$version
./configure --prefix=/usr \
--disable-schemas-compile
make
make DESTDIR=$PKG install
}
|
