texi2dvi uses TeX to do the real work of formatting. TeX is not distributed with Texinfo.
texi2dvi
This document was generated on 22 December 1998 using the texi2html translator version 1.52.