From 956a162816bdfabf7b45a82271119bf1e37b20a5 Mon Sep 17 00:00:00 2001 From: Omar Vega Ramos Date: Mon, 20 Jul 2015 23:18:40 -0500 Subject: eudev-3.1.2-4: rebuild --- pcr/eudev/PKGBUILD | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pcr/eudev/PKGBUILD b/pcr/eudev/PKGBUILD index 977b36873..28077d507 100644 --- a/pcr/eudev/PKGBUILD +++ b/pcr/eudev/PKGBUILD @@ -8,7 +8,7 @@ _src_uri='http://dev.gentoo.org/~blueness/eudev' pkgname=eudev pkgver=3.1.2 -pkgrel=3 +pkgrel=4 pkgdesc="The userspace dev tools (udev) forked by Gentoo" arch=('i686' 'x86_64') url="http://www.gentoo.org/proj/en/eudev/" @@ -43,6 +43,7 @@ build() { --disable-gudev \ --enable-introspection \ --enable-kmod \ + --enable-manpages \ --enable-split-usr make -- cgit v1.2.3