From adc0ecd8d7749fe3ddca9a0dba7a82d3472a0247 Mon Sep 17 00:00:00 2001 From: tnut Date: Mon, 21 Mar 2011 22:06:25 +0100 Subject: devicekit, correction du port --- extra/devicekit/Pkgfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'extra/devicekit') diff --git a/extra/devicekit/Pkgfile b/extra/devicekit/Pkgfile index ff1b91e22..ba9a3825e 100755 --- a/extra/devicekit/Pkgfile +++ b/extra/devicekit/Pkgfile @@ -11,12 +11,12 @@ release=1 source=(http://hal.freedesktop.org/releases/DeviceKit-$version.tar.gz) build() { cd DeviceKit-$version - ./configure --prefix=$GNOME_PREFIX\ + ./configure --prefix=/usr\ --sysconfdir=/etc \ - --libexecdir=$GNOME_PREFIX/lib/devicekit \ + --libexecdir=/usr/lib/devicekit \ --disable-man-pages \ --disable-gtk-doc \ - --mandir=$GNOME_PREFIX/share/man \ + --mandir=/usr/share/man \ --localstatedir=/var \ make -- cgit v1.2.3-54-g00ecf