[m-dev.] texi2html

[Fergus Henderson]

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.

For reference, I've attached three different HTML files
for the Mercury language reference manual:

	- HTML produced by our current texi2html 1.35
	- HTML produced by our texi2html 1.65
	- HTML produced by our makeinfo --html

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20030708/2d772a9b/attachment.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20030708/2d772a9b/attachment-0001.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20030708/2d772a9b/attachment-0002.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20030708/2d772a9b/attachment-0003.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20030708/2d772a9b/attachment-0004.html>