PATCH: Fix funny doc typo

[Eli Zaretskii]

> From: Jim Blandy <jimb@codesourcery.com>
> Date: Tue, 29 May 2007 15:05:51 -0700
> 
> 
> "Should the need arise, how shall I refer to them disrespectfully?"
> 
> gdb/doc/ChangeLog:
> 2007-05-29  Jim Blandy  <jimb@codesourcery.com>
> 
> 	* gdb.texinfo: Doc fix.

Yes, thanks.