Package texinfo-tex
Tools for formatting Texinfo documentation files using TeX
http://www.gnu.org/software/texinfo/
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.
Version: 7.1.1
See also: texinfo.
General Commands | |
| pdftexi2dvi | alias for texi2dvi |
| texi2dvi | convert Texinfo documents to DVI or PDF |
| texi2pdf | alias for texi2dvi |
| texindex | sort Texinfo index files |