Re: Changes to grep/doc/grep.texi,v

[Karl Berry]

Hi Tony,

    Is there a "correct" or "preferred" resolution?

Yes, I simply forgot to add the file.  Done now, as you've seen.
Sorry.

karl