TexInfo -> HTML converter wanted
Bill Janssen <janssen@parc.xerox.com>
Errors-To: listmaster@www0.cern.ch
Date: Fri, 15 Apr 1994 00:45:14 --100
Message-id: <chfQOEIB0KGW94wzlL@holmes.parc.xerox.com>
Errors-To: listmaster@www0.cern.ch
Reply-To: janssen@parc.xerox.com
Originator: www-talk@info.cern.ch
Sender: www-talk@www0.cern.ch
Precedence: bulk
From: Bill Janssen <janssen@parc.xerox.com>
To: Multiple recipients of list <www-talk@www0.cern.ch>
Subject: TexInfo -> HTML converter wanted
X-Listprocessor-Version: 6.0c -- ListProcessor by Anastasios Kotsikonas
Content-Length: 464
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