Pass correct name to @value in gdb.texinfo

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.

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 4bc83ed21688bc49f2d0dd78d3655e8b41d4e274..a179af772244be03c0f1a4648ac37498cb79a970 100644 (file)
--- 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