TeXinfo->html converter
TeXinfo is a hypertext markup language for writing documentation
used by the Gnu project. Many of the Gnu project's tools, such
as Gnu emacs, gawk, bison, and gcc, are documented using the TeXinfo
system. Documents written in TeXinfo can be either converted into
on-line hypertext documentation, or converted into TeX and then
typeset into paper manuals.
HTML is the the hypertext markup language for the World-Wide Web.
A text processor that converts documents from TeXinfo to HTML would
allow authors to write a single document, in TeXinfo, and provide
it in all three formats.