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