diff options
| author | Andrew Burgess <andrew.burgess@embecosm.com> | 2015-07-06 11:37:24 +0100 |
|---|---|---|
| committer | Andrew Burgess <andrew.burgess@embecosm.com> | 2015-07-06 19:18:15 +0100 |
| commit | bcd8537ce10dd72b053fa54e87525defa26f3fd0 (patch) | |
| tree | b65d88dab7c1a44a609c969694f662f89c3d5028 /gdb/doc | |
| parent | 10e9aaa3b8554f997db993c8158493a96030d4d5 (diff) | |
| download | gdb-bcd8537ce10dd72b053fa54e87525defa26f3fd0.zip gdb-bcd8537ce10dd72b053fa54e87525defa26f3fd0.tar.gz gdb-bcd8537ce10dd72b053fa54e87525defa26f3fd0.tar.bz2 | |
gdb/doc: Fix incorrect use of @xref.
All uses of @xref must be followed by either '.' or ','. In commit
a4ea0946c an incorrect use of @xref was introduced. This commit
adds a comma after the use of @xref.
gdb/ChangeLog:
* doc/gdb.texinfo (TUI): Add comma after @xref.
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/gdb.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 812917b..842711a 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -24781,7 +24781,7 @@ The TUI mode is enabled by default when you invoke @value{GDBN} as @samp{@value{GDBP} -tui}. You can also switch in and out of TUI mode while @value{GDBN} runs by using various TUI commands and key bindings, such as @command{tui -enable} or @kbd{C-x C-a}. @xref{TUI Commands, ,TUI Commands} and +enable} or @kbd{C-x C-a}. @xref{TUI Commands, ,TUI Commands}, and @ref{TUI Keys, ,TUI Key Bindings}. @node TUI Overview |