new diff: gdb.texinfo

[Eli Zaretskii]

On Thu, 17 Jan 2002, Richard Earnshaw wrote:

> > I stuck in the @* because the line wasn't breaking and it was causing an 
> > Overfull /hbox.
> 
> Indeed, but it will probably be in the wrong place for a different 
> form-factor printing.
> 
> Putting spaces in between each date would allow TeX to select its own 
> line-breaking points.  Since you've no objection, I suggest we do that.

Done.