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: Gerald Pfeifer <gerald at pfeifer dot com>
- To: Markus Milleder <markus dot milleder at generali dot at>
- Cc: Ralf dot Wildenhues at gmx dot de, gcc-patches at gcc dot gnu dot org
- Date: Wed, 23 Jul 2008 09:42:28 +0200 (CEST)
- Subject: Re: [PATCH, Ada, DOC] PR15479: Fix markup of "GDB" and "gnat1".
- References: <OF2C8B9E06.8C113F13-ONC125748E.003441F1-C125748E.00348059@AT.TOP.COM>
On Tue, 22 Jul 2008, Markus Milleder wrote:
> As a rough guideline, I'd say it's GDB for the concept and
> @command{gdb} is about a concrete invocation.
This matches the use we have for GCC vs command@{gcc}: the former
referring to the project, the latter to the gcc program (invoking
the C frontend).
Gerald