summaryrefslogtreecommitdiff
path: root/pcr/eudev/PKGBUILD
diff options
context:
space:
mode:
authorOmar Vega Ramos <ovruni@gnu.org.pe>2015-07-20 23:18:40 -0500
committerOmar Vega Ramos <ovruni@gnu.org.pe>2015-07-20 23:18:40 -0500
commit956a162816bdfabf7b45a82271119bf1e37b20a5 (patch)
tree1961700b7c8644e58be4a4fb4c377ed04cb1c2c6 /pcr/eudev/PKGBUILD
parent62d4be6f4055bf4ffaff6362333eed4990b106b8 (diff)
eudev-3.1.2-4: rebuild
Diffstat (limited to 'pcr/eudev/PKGBUILD')
-rw-r--r--pcr/eudev/PKGBUILD3
1 files changed, 2 insertions, 1 deletions
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