texi2dvi uses TeX to do the real work of formatting. TeX is not distributed with Texinfo.
texi2dvi
This document was generated on 28 March 1998 using the texi2html translator version 1.51. Hacked to generate 8.3 filenames by Luis Hernández.