diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-20 23:18:40 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-07-20 23:18:40 -0500 |
| commit | 956a162816bdfabf7b45a82271119bf1e37b20a5 (patch) | |
| tree | 1961700b7c8644e58be4a4fb4c377ed04cb1c2c6 /pcr/eudev/PKGBUILD | |
| parent | 62d4be6f4055bf4ffaff6362333eed4990b106b8 (diff) | |
eudev-3.1.2-4: rebuild
Diffstat (limited to 'pcr/eudev/PKGBUILD')
| -rw-r--r-- | pcr/eudev/PKGBUILD | 3 |
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 |