From 457ba45f1f7d291d5881f18786b6a876573a8320 Mon Sep 17 00:00:00 2001
From: piernov <piernov@piernov.servegame.org>
Date: Sat, 23 Jul 2011 00:25:03 +0200
Subject: Création du dépôt
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 gnome-user-docs/Pkgfile | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 gnome-user-docs/Pkgfile

(limited to 'gnome-user-docs/Pkgfile')

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
+}
-- 
cgit v1.2.3-70-g09d2