This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Add targets to doc/makefile.texi
- From: "Joseph S. Myers" <jsm at polyomino dot org dot uk>
- To: Phil Edwards <phil at jaj dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 17 Jul 2003 22:21:26 +0100 (BST)
- Subject: Re: [PATCH] Add targets to doc/makefile.texi
- References: <20030717210315.GA30403@disaster.jaj.com>
On Thu, 17 Jul 2003, Phil Edwards wrote:
> +@ifnothtml
> +@ref{Building,,Building with profile feedback,gccinstall,Installing GCC}.
> +@end ifnothtml
> +@ifhtml
> +@uref{build.html,,Building with profile feedback}.
> +@end ifhtml
You don't want conditioning on output format here (and in most cases it
should be avoided in Texinfo manuals). Building this manual as HTML does
nothing to put the install manual files in the same directory as those of
this manual; simply use the first case (ordinary Texinfo link)
unconditionally. Eventually when the installation manual is cleaned up to
use ordinary split-file HTML output (not available when the Texinfo
conversion was done) and to remove almost all of its manual HTML, such a
link can start to work.
--
Joseph S. Myers
jsm@polyomino.org.uk