gdb/doc: Fix incorrect use of @xref.
authorAndrew Burgess <andrew.burgess@embecosm.com>
Mon, 6 Jul 2015 10:37:24 +0000 (11:37 +0100)
committerAndrew Burgess <andrew.burgess@embecosm.com>
Mon, 6 Jul 2015 18:18:15 +0000 (19:18 +0100)
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.

gdb/ChangeLog
gdb/doc/gdb.texinfo

index dd39d1b5cec2f26ce8d20c896ff3ad93e93ae883..dc3973f655766a47d144833ecdb0e7c7d886f84b 100644 (file)
@@ -1,3 +1,7 @@
+2015-07-06  Andrew Burgess  <andrew.burgess@embecosm.com>
+
+       * doc/gdb.texinfo (TUI): Add comma after @xref.
+
 2015-07-06  Andrew Burgess  <andrew.burgess@embecosm.com>
 
        * tui/tui-win.c (tui_set_focus): Use structure member 'generic'
index 812917b3ad0a112d4a65c7f21b9f79a9f41bc70b..842711a281622e839cbea90ea27582f61e5aa84b 100644 (file)
@@ -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
This page took 0.061967 seconds and 4 git commands to generate.