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