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)
commitbcd8537ce10dd72b053fa54e87525defa26f3fd0
treeb65d88dab7c1a44a609c969694f662f89c3d5028
parent10e9aaa3b8554f997db993c8158493a96030d4d5
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.
gdb/ChangeLog
gdb/doc/gdb.texinfo