PN: texinfo
PV: 6.8
PR: r0
PKGV: 6.8
PKGR: r0.0
LICENSE: GPL-3.0-or-later
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:info-doc: {"/usr/share/info/info-stnd.info": 115652}
PKGSIZE:info-doc: 115652
