From d07c0c3818822e2b5e36491d7b6ba24d695f1925 Mon Sep 17 00:00:00 2001
From: Thierry N <thierryn1 at hispeed dot ch>
Date: Fri, 14 Aug 2009 22:42:31 +0200
Subject: hal, supprimer la doc dans la production du build

---
 extra/hal/Pkgfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'extra/hal/Pkgfile')

diff --git a/extra/hal/Pkgfile b/extra/hal/Pkgfile
index b8d377f7d..350cd6c00 100755
--- a/extra/hal/Pkgfile
+++ b/extra/hal/Pkgfile
@@ -30,8 +30,9 @@ build() {
 		--sysconfdir=/etc --with-udev-prefix=/etc \
 		--localstatedir=/var \
 		--with-pci-ids=/usr/share/pci.ids.gz \
+		--disable-console-kit \
 		--disable-policy-kit \
-		--disable-console-kit
+		--disable-gtk-doc
 	make
 	make DESTDIR=$PKG install
 
-- 
cgit v1.2.3-70-g09d2