[PATCH] gdb/doc: Fix incorrect use of @xref.

[Eli Zaretskii]

> From: Andrew Burgess <andrew.burgess@embecosm.com>
> Cc: Dilyan Palauzov <dilyan.palauzov@aegee.org>,
> 	Andrew Burgess <andrew.burgess@embecosm.com>
> Date: Mon,  6 Jul 2015 12:45:33 +0100
> 
> It has been pointed out to me that in commit a4ea0946c I introduced a
> use of @xref that is not followed by either a ',' or a '.' as it is
> supposed to be[1].
> 
> Normally I would push such a trivial change as an obvious fix,
> however, I'm a little more nervous when it comes to documentation
> changes, so I'd like a review please.

Thanks.  I suggest simply to add a comma after the xref's closing
brace.  That's the schoolbook solution for these problems.

Sorry for not catching this during my review.