PN: texinfo
PV: 6.7
PR: r0
PKGV: 6.7
PKGR: r0
LICENSE: GPLv3+
DESCRIPTION_texinfo-doc: 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.  This package contains documentation.
SUMMARY_texinfo-doc: Documentation system for on-line information and printed output - Documentation files
SECTION_texinfo-doc: doc
PKG_texinfo-doc: texinfo-doc
FILES_texinfo-doc: /usr/share/info/texinfo*                    /usr/share/texmf/tex/texinfo                    /usr/share/man/man1 /usr/share/man/man5
FILES_INFO: {"/usr/share/info/texinfo.info": 16287, "/usr/share/info/texinfo.info-1": 300702, "/usr/share/info/texinfo.info-2": 301960, "/usr/share/info/texinfo.info-3": 381079, "/usr/share/texmf/tex/texinfo/texinfo.tex": 377035, "/usr/share/texmf/tex/texinfo/txi-ca.tex": 1939, "/usr/share/texmf/tex/texinfo/txi-cs.tex": 2351, "/usr/share/texmf/tex/texinfo/txi-de.tex": 2500, "/usr/share/texmf/tex/texinfo/txi-en.tex": 2381, "/usr/share/texmf/tex/texinfo/txi-es.tex": 2013, "/usr/share/texmf/tex/texinfo/txi-fr.tex": 2436, "/usr/share/texmf/tex/texinfo/txi-hu.tex": 2747, "/usr/share/texmf/tex/texinfo/txi-is.tex": 2400, "/usr/share/texmf/tex/texinfo/txi-it.tex": 2192, "/usr/share/texmf/tex/texinfo/txi-ja.tex": 15838, "/usr/share/texmf/tex/texinfo/txi-nb.tex": 2287, "/usr/share/texmf/tex/texinfo/txi-nl.tex": 2190, "/usr/share/texmf/tex/texinfo/txi-nn.tex": 778, "/usr/share/texmf/tex/texinfo/txi-pl.tex": 2331, "/usr/share/texmf/tex/texinfo/txi-pt.tex": 2155, "/usr/share/texmf/tex/texinfo/txi-ru.tex": 2345, "/usr/share/texmf/tex/texinfo/txi-sr.tex": 2217, "/usr/share/texmf/tex/texinfo/txi-tr.tex": 2520, "/usr/share/texmf/tex/texinfo/txi-uk.tex": 2229}
PKGSIZE_texinfo-doc: 1432912