bug#26132: closed (man grep)

[GNU bug Tracking System]

Your message dated Sun, 29 Dec 2019 10:57:37 -0800
with message-id <address@hidden>
and subject line Re: bug#26132: man grep
has caused the debbugs.gnu.org bug report #26132,
regarding man grep
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
26132: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26132
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> man grep
>
>
>
>
> Date: 
>
> Thu, 16 Mar 2017 19:12:50 +0100
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
>
>
>
>
> hello,
> in the manual there is the header "matcher selection" for selecting the
> type of regular expression. Since a "matcher" is something that matches,
> the matching criteria/matching sheme/matching method shouldn't be called
> like this.
> furthermore, in the german version it should be "bug-grep@" rather than
> "bug-greps@".
>
> thanks
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: bug#26132: man grep Date: Sun, 29 Dec 2019 10:57:37 -0800 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2

On 3/16/17 11:12 AM, kalle wrote:

> in the manual there is the header "matcher selection" for selecting the
> type of regular expression. Since a "matcher" is something that matches,
> the matching criteria/matching sheme/matching method shouldn't be called
> like this.

Thanks for reporting this. I installed the attached patch, which renames the
section to "Pattern Syntax".

> furthermore, in the german version it should be "bug-grep@" rather than
> "bug-greps@".

Please report this problem to whoever maintains the German version; it's not us
as we do only the English version. The German version's source should say who to
report to. Thanks.

0001-doc-improve-subsection-title-Bug-26132.patch
Description: Text Data

--- End Message ---