diff options
author | Thierry N <thierryn1 at hispeed dot ch> | 2009-08-14 22:42:31 +0200 |
---|---|---|
committer | Thierry N <thierryn1 at hispeed dot ch> | 2009-08-14 22:42:31 +0200 |
commit | d07c0c3818822e2b5e36491d7b6ba24d695f1925 (patch) | |
tree | 48881b4549bf3bcdbe3f6f1941e4409b58a3d314 /extra/hal/Pkgfile | |
parent | 87d3d3f2420bdb1b0dec6340ef8c03b2f0eb2398 (diff) | |
download | nutyx-pakxe-d07c0c3818822e2b5e36491d7b6ba24d695f1925.tar.gz nutyx-pakxe-d07c0c3818822e2b5e36491d7b6ba24d695f1925.tar.bz2 nutyx-pakxe-d07c0c3818822e2b5e36491d7b6ba24d695f1925.tar.xz nutyx-pakxe-d07c0c3818822e2b5e36491d7b6ba24d695f1925.zip |
hal, supprimer la doc dans la production du build
Diffstat (limited to 'extra/hal/Pkgfile')
-rwxr-xr-x | extra/hal/Pkgfile | 3 |
1 files changed, 2 insertions, 1 deletions
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 |