This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: 3.1 PATCH: install.texi updates for GCC 3.1
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Cc: Rainer Orth <ro at TechFak dot Uni-Bielefeld dot DE>, <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 3 May 2002 14:57:17 +0100 (BST)
- Subject: Re: 3.1 PATCH: install.texi updates for GCC 3.1
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