Re: Rename "info definitions"?

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed, 28 Sep 2011 19:13:58 -0700
> From: Matt Rice <ratmice@gmail.com>
> Cc: gdb-patches@sourceware.org
> 
> +info macro [-all] [--] MACRO
> +  The info macro command has new options -all and --.

Please quote the options with `..'.  Also, please have 2 spaces after
the period.

>                                                        The first or printing
                                                                   ^^
"for", I guess.

> +  all definitions of a macro.  The second for explicitly specifying the end
> +  of arguments and the beginning of the macro name.

I would add "in case the macro name starts with a hyphen".

> +@item info macro @r{[}-a@r{|}-all@r{]} @r{[}--@r{]} @var{macro}

You don't need the @r{} markup here.  It is only needed in the @def*
lines, because those cause the rest of the line automatically typeset
as in @var{}, which produces a slanted typeface in print.  Since we
want the square brackets typeset in the normal Roman typeface, we
countermand the slanted face with @r{}.  But @item does not have that
effect, so @r{} is not needed.

OK with those changes.