TexInfo -> HTML converter wanted

Bill Janssen ([email protected])
Thu, 14 Apr 1994 15:41:20 PDT

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Johan Hofvander: "Re: What/Where is gunzip ??"
Previous message: Philip J. Zee: "Subscription"

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.

Bill

Next message: Johan Hofvander: "Re: What/Where is gunzip ??"
Previous message: Philip J. Zee: "Subscription"