Package texinfo-tex

Tools for formatting Texinfo documentation files 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.

The texinfo-tex package provides tools to format Texinfo documents
for printing using TeX.

General Commands
Command Description
texi2dvi convert Texinfo documents to DVI or PDF
texindex sort Texinfo index files