TexInfo -> HTML converter wanted

Bill Janssen (janssen@parc.xerox.com)
Thu, 14 Apr 1994 15:41:20 PDT

I'm looking for a converter that will take a big single GNU texinfo
file, and produce a big single HTML file from it, preserving all the
link pointers and such. Anyone have such a beast? I've tried a couple
of info2html converters that I've found on the Web, one from Germany,
one from Ohio State, but they both seem to be intended to be used as
servers that do lazy conversion -- not at all what I need. Note that
texinfo is valid TeX, but is not LaTeX.