Re: [PATCH 1/2] doc: fix spacing

[Paul Eggert]

On 07/12/2012 01:53 AM, Jim Meyering wrote:
> I'd say grep, but we'd need more context to filter out false positives.

I'm afraid that grep is what I used, and yes,
it required some manual filtering.