From 01c470037c604e846032a0138e08871b0eb267da Mon Sep 17 00:00:00 2001 From: Simon Marchi Date: Tue, 10 Jan 2023 00:06:42 -0500 Subject: [PATCH] gdb/doc: use @value{GDBN} in some spots Change some spots to use "@value{GDBN}" instead of just "GDB". Change-Id: I3fc26438e603538271cf33e4d148be5fda9ece7e --- gdb/doc/gdb.texinfo | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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, -- 2.30.2