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.

Maintainer: nobody