Re: [PATCH] gdb/doc: fix a makeinfo warning

[Enze Li <enze.li@hotmail.com>]

On Wed, May 31 2023 at 10:53:54 AM -0400, Eli Zaretskii wrote:

>> Cc: enze.li@gmx.com
>> Date: Wed, 31 May 2023 22:13:41 +0800
>> From: Enze Li via Gdb-patches <gdb-patches@sourceware.org>
>> 
>> I see this warning when compiling GDB,
>> 
>>   gdb.texinfo:5975: warning: undefined flag: GDB
>>   gdb.texinfo:5976: warning: undefined flag: GDB
>> 
>> and consequently I see the misprints in doc/gdb/Dynamic-Printf.html as
>> follow,
>> 
>>   ...Most of {No value for ‘GDB’}’s format specifiers...
>> 
>> Fix this by using '@value{GDBN}' instead of '@value{GDB}'.
>> ---
>>  gdb/doc/gdb.texinfo | 4 ++--
>>  1 file changed, 2 insertions(+), 2 deletions(-)
>> 
>> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
>> index 4bc83ed2168..a179af77224 100644
>> --- a/gdb/doc/gdb.texinfo
>> +++ b/gdb/doc/gdb.texinfo
>> @@ -5972,8 +5972,8 @@ Handle the output by calling a function in your program (normally
>>  @code{printf}).  When using this style the supported format specifiers
>>  depend entirely on the function being called.
>>  
>> -Most of @value{GDB}'s format specifiers align with those supported by
>> -the @code{printf} function, however, @value{GDB}'s @samp{%V} format
>> +Most of @value{GDBN}'s format specifiers align with those supported by
>> +the @code{printf} function, however, @value{GDBN}'s @samp{%V} format
>>  specifier extension is not supported by @code{printf}.  When using
>>  @samp{call} style dprintf, care should be taken to ensure that only
>>  format specifiers supported by the output function are used, otherwise
>
> Thanks, this is an "obvious fix".

Hi Eli,

It is necessary to be cautious for a new contributor.  Thank you for your
guidance, next time I will carefully try to submit such obvious errors.

Best Regards,
Enze