carta

texi2html(1) on Linux

The text a6b1b13bc1e4, as Debian 6.0 (Squeeze) shipped it.

a Texinfo to HTML converter

Flags it lists

texi2html(1) on Linux now