[pushed] Pass correct name to @value in gdb.texinfo

Message ID 20230531142911.3478627-1-tromey@adacore.com
State New
Headers
Series [pushed] Pass correct name to @value in gdb.texinfo |

Commit Message

Tom Tromey May 31, 2023, 2:29 p.m. UTC
  I noticed a couple instance of this warning when rebuilding the gdb
info files:

    warning: undefined flag: GDB

The problem is that the wrong argument was passed to @value.  This
patch fixes the problem.
---
 gdb/doc/gdb.texinfo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
  

Patch

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