Formatting of packet descriptions in GDB manual

[Eli Zaretskii]

> Date: Wed, 16 Nov 2005 02:35:22 -0800
> From: Jim Blandy <jimb@red-bean.com>
> Cc: gdb-patches@sources.redhat.com
> 
> Okay --- here's what I've committed.

Thanks.