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.
