GNU bug report logs - #26132
man grep

Previous Next

Full log

Message #10 received at 26132-done <at> debbugs.gnu.org (full text, mbox):

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: kalle <kalle <at> projektwerkstatt.de>
Cc: 26132-done <at> debbugs.gnu.org
Subject: Re: bug#26132: man grep
Date: Sun, 29 Dec 2019 10:57:37 -0800

[Message part 1 (text/plain, inline)]

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 (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.