3.1 PATCH: install.texi updates for GCC 3.1

[Joseph S. Myers]

On Fri, 3 May 2002, Gerald Pfeifer wrote:

> On Fri, 3 May 2002, Rainer Orth wrote:
> > Tested by texi2dvi and makeinfo.  Btw., there are no install.dvi or
> > install.info targets.  Is this intentional?  Otherwise I can provide a
> > (mainline-only) patch for this issue.
> 
> I'm quite sure it's not intentional, and I (at least) certainly would
> appreciate such a patch.

I'd supposed it was intentional, on the basis that once you've installed
GCC you don't need instructions on how to install it.  However, it would
occasionally be useful to be able to link to the install manual from the
other GCC info manuals.  It would need a more globally meaningful name
(gccinstall.info) than the present @setfilename install.info, and you'd 
need to work out how links from the main manual to the install one would 
work in onlinedocs.  (The present HTML generation from the install manual 
is a mess and fragile; it would be better if the split HTML output support 
in makeinfo >= 4.1 could be used rather than special defines to produce 
separate files, and if it wasn't necessary to include various bits of raw 
@html in the file.  If current makeinfo doesn't provide the desired 
control over the HTML output, this may mean making improvements to it and 
contributing the changes back to the Texinfo maintainers.)

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