GCC 3.2 manuals

[Joseph S. Myers]

On Thu, 5 Dec 2002, Michael S. Zick wrote:

> You could try running texi2html on all of the *.texi files included with your 
> copy of gcc.

texi2html isn't the recommended way of generating HTML from the GCC
manuals; they use some macros that don't work properly with it.  Use of
"makeinfo --html" is recommended instead (and is what is used for the
online manuals).

-- 
Joseph S. Myers
jsm28@cam.ac.uk