Utility for formatting Texinfo documentation files using TeX
Description
The texinfo-tex package provides tools to format Texinfo documents
for printing using TeX. 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.
