On Fri, Apr 16, 2021 at 5:15 PM Kevin Locke <ke...@kevinlocke.name> wrote: > It would be great if the grep.1 man page and --help usage information > included the --group-separator and --no-group-separator options (which > are already documented in grep.texi). I've attached patches to do that.
Thank you. I've applied those with one tiny change: I added an additional space between the option spec and its description to placate "make syntax-check".