9ed350ad08
@value{GDBN} should be used in place of GDB, so this patch fixes it. gdb/doc/ChangeLog: * gdb.texinfo (In Memoriam): Replace litteral uses of `GDB' with `@value{GDBN}'.