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.
+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'
@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