This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, Ada, DOC] PR15479: Fix markup of "GDB" and "gnat1".
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Arnaud Charlet <charlet at adacore dot com>
- Cc: Ralf Wildenhues <Ralf dot Wildenhues at gmx dot de>, gcc-patches at gcc dot gnu dot org
- Date: Tue, 22 Jul 2008 11:55:29 +0000 (UTC)
- Subject: Re: [PATCH, Ada, DOC] PR15479: Fix markup of "GDB" and "gnat1".
- References: <20080722054100.GD9896@ins.uni-bonn.de> <20080722065605.GA1316@adacore.com>
On Tue, 22 Jul 2008, Arnaud Charlet wrote:
> > diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
> > index b55f398..22a625a 100644
> > --- a/gcc/ada/gnat_ugn.texi
> > +++ b/gcc/ada/gnat_ugn.texi
> > @@ -3686,7 +3686,7 @@ containing the directory information.
> > @findex gnat1
> > @command{gcc} is actually a driver program that looks at the extensions of
> > the file arguments and loads the appropriate compiler. For example, the
> > -GNU C compiler is @file{cc1}, and the Ada compiler is @file{gnat1}.
> > +GNU C compiler is @file{cc1}, and the Ada compiler is @command{gnat1}.
>
> I guess you meant @command{cc1} here, otherwise, it's clearly inconsistent.
Both cc1 and gnat1 are internal implementation details rather than
commands for the user, so I think @file is actually appropriate here (and
not documenting those internal implementation details in a user manual
might be even better).
--
Joseph S. Myers
joseph@codesourcery.com