diff options
author | piernov <piernov@piernov.servegame.org> | 2011-07-23 00:25:03 +0200 |
---|---|---|
committer | piernov <piernov@piernov.servegame.org> | 2011-07-23 00:25:03 +0200 |
commit | 457ba45f1f7d291d5881f18786b6a876573a8320 (patch) | |
tree | 0cb3caa3241b510b8a377f683aaa559342424471 /gnome-user-docs/Pkgfile | |
download | gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.gz gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.bz2 gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.tar.xz gnome3-457ba45f1f7d291d5881f18786b6a876573a8320.zip |
Création du dépôt
Diffstat (limited to 'gnome-user-docs/Pkgfile')
-rw-r--r-- | gnome-user-docs/Pkgfile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gnome-user-docs/Pkgfile b/gnome-user-docs/Pkgfile new file mode 100644 index 0000000..bdb4e90 --- /dev/null +++ b/gnome-user-docs/Pkgfile @@ -0,0 +1,21 @@ +# Description: Documentation utilisateur de gnome +# URL: http://www.gnome.org/ +# Maintainer: NuTyX GNOME team +# Packager: thierryn1 at hispeed dot ch +# Depends on: gnome-doc-utils +# Run on: rarian,gnome-doc-utils + +name=gnome-user-docs +version=3.0.4 +release=1 +source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.bz2) + +build() { + cd $name-$version + ./configure --prefix=/usr \ + --localstatedir=/var/lib \ + --disable-scrollkeeper + make + make DESTDIR=$PKG install + rm -rf $PKG/var +} |