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.