Summary: Tools for formatting Texinfo documentation files using TeX

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. The texinfo-tex package provides tools to format Texinfo documents for printing using TeX.
URL: https://www.gnu.org/software/texinfo/
License: GPLv3

Last packager: daviddavid <daviddavid>