PN: texinfo
PV: 6.7
PR: r0
PKGV: 6.7
PKGR: r0
LICENSE: GPLv3+
DESCRIPTION: Texinfo is a documentation system that can produce both online information and printed output from a single source file. The GNU Project uses the Texinfo file format for most of its documentation.
SUMMARY: Documentation system for on-line information and printed output
SECTION: console/utils
PKG_info-doc: info-doc
FILES_info-doc: /usr/share/info/info.info* /usr/share/info/dir /usr/share/info/info-*.info*                   /usr/share/man/man1/info.1* /usr/share/man/man5/info.5*                   /usr/share/man/man1/infokey.1* /usr/share/man/man1/install-info.1*
FILES_INFO: {"/usr/share/info/info-stnd.info": 115563}
PKGSIZE_info-doc: 115563