From: Simon Marchi Date: Tue, 10 Jan 2023 05:06:42 +0000 (-0500) Subject: gdb/doc: use @value{GDBN} in some spots X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=01c470037c604e846032a0138e08871b0eb267da;p=binutils-gdb.git gdb/doc: use @value{GDBN} in some spots Change some spots to use "@value{GDBN}" instead of just "GDB". Change-Id: I3fc26438e603538271cf33e4d148be5fda9ece7e --- diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 8a83a2ef8dd..5dba6f78d19 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -174,20 +174,20 @@ software in general. We will miss him. @end ifclear * In Memoriam:: In Memoriam * Formatting Documentation:: How to format and print @value{GDBN} documentation -* Installing GDB:: Installing GDB +* Installing GDB:: Installing @value{GDBN} * Maintenance Commands:: Maintenance Commands * Remote Protocol:: GDB Remote Serial Protocol -* Agent Expressions:: The GDB Agent Expression Mechanism +* Agent Expressions:: The @value{GDBN} Agent Expression Mechanism * Target Descriptions:: How targets can describe themselves to @value{GDBN} * Operating System Information:: Getting additional information from the operating system -* Trace File Format:: GDB trace file format +* Trace File Format:: @value{GDBN} trace file format * Index Section Format:: .gdb_index section format * Debuginfod:: Download debugging resources with @code{debuginfod} * Man Pages:: Manual pages * Copying:: GNU General Public License says - how you can copy and share GDB + how you can copy and share @value{GDBN} * GNU Free Documentation License:: The license for this documentation * Concept Index:: Index of @value{GDBN} concepts * Command and Variable Index:: Index of @value{GDBN} commands, variables,