bug#47834: closed (grep: Document --group-separator/--no-group-separator)

[GNU bug Tracking System]

Your message dated Fri, 6 Aug 2021 22:22:50 -0700
with message-id 
<CA+8g5KHY6dtwwyDH02OaSwLo_aXWe2uMuSurUeAbd4D4VVCWyg@mail.gmail.com>
and subject line Re: bug#47834: grep: Document 
--group-separator/--no-group-separator
has caused the debbugs.gnu.org bug report #47834,
regarding grep: Document --group-separator/--no-group-separator
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
47834: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47834
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: grep: Document --group-separator/--no-group-separator Date: Fri, 16 Apr 2021 18:14:23 -0600

Severity: minor
Tags: patch

Dear Maintainer,

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.

Thanks,
Kevin

0001-doc-man-add-group-separator-no-group-separator.patch
Description: Text Data

0002-doc-usage-group-separator-no-group-separator.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#47834: grep: Document --group-separator/--no-group-separator
>
>
>
>
> Date: 
>
> Fri, 6 Aug 2021 22:22:50 -0700
>
>
>
>
> On Fri, Apr 16, 2021 at 5:15 PM Kevin Locke <kevin@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".
>
>
> --- End Message ---