[RFC] Final(?) GDB/MI -symbol-*

[Eli Zaretskii]

On Tue, 24 Sep 2002, Jelmer Vernooij wrote:

> > Just put two blanks after each period that ends a sentence, like in the 
> > text I wrote above.
> I hope I understood you right - would this new patch fix that?

Yes, but there's still one place where you need to add a blank:

   +List type names. If @var{pattern} is specified,

This should say

   +List type names.  If @var{pattern} is specified,

(note the two blanks before the "If").

Otherwise, fine.