[m-dev.] texi2html

[Simon Taylor]

On 08-Jul-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> The version of texi2html that we are currently using has some bugs;
> in particular it doesn't handle "@{" and "@}" properly, which causes
> the part of the Mercury reference manual which describe tuple types to
> be incorrectly formatted.
> 
> I've been working on a patch to fix this.  But there's a couple of
> possible alternatives:
> 
> 	- we could upgrade to a more recent version texi2html
> 	  (the bug is fixed in texi2html 1.65, for example)
> 
> 	- makeinfo has for a while now included support for HTML,
> 	  so we could switch to using `makeinfo --html'
> 
> Any suggestions as to which of these two we should go with?
> I think texi2html produces slightly nicer output, but makeinfo runs
> faster than texi2html, and generates a smaller HTML file.

I actually preferred the makeinfo output, especially with lynx
(it's a bit less cluttered), there wasn't much difference with
Internet Explorer. My main gripe is that the makeinfo version
doesn't include section numbers. Is there any way to fix that?

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------