PN: eudev
PV: 3.2.14
PR: r0
PKGV: 3.2.14
PKGR: r0@EXTENDPRAUTO@
LICENSE: GPL-2.0-or-later & LGPL-2.1-or-later
DESCRIPTION:eudev-doc: eudev is Gentoo's fork of udev, systemd's device file manager for the Linux kernel. It manages device nodes in /dev and handles all user space actions when adding or removing devices.  This package contains documentation.
SUMMARY:eudev-doc: eudev is a fork of systemd's udev - Documentation files
SECTION:eudev-doc: doc
PKG:eudev-doc: eudev-doc
FILES:eudev-doc: /usr/share/doc /usr/share/man /usr/share/info /usr/share/gtk-doc             /usr/share/gnome/help
FILES_INFO:eudev-doc: {}
pkg_postinst:eudev-doc: set -e\n\t# only update manual page index caches when manual files are built and installed\n\tif false; then\n\t\tif test -n "$D"; then\n\t\t\tif true; then\n\t\t\t\t$INTERCEPT_DIR/postinst_intercept update_mandb ${PKG} mlprefix= binprefix= bindir=/usr/bin sysconfdir=/etc mandir=/usr/share/man\n\t\t\telse\n\t\t\t\t$INTERCEPT_DIR/postinst_intercept delay_to_first_boot ${PKG} mlprefix=\n\t\t\tfi\n\t\telse\n\t\t\tmandb -q\n\t\tfi\n\tfi\n
pkg_postrm:eudev-doc: set -e\n\t# only update manual page index caches when manual files are built and installed\n\tif false; then\n\t\tmandb -q\n\tfi\n
PKGSIZE:eudev-doc: 0
