bug#26132: man grep

2019-12-29 Thread Paul Eggert
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.

bug#26132: man grep

2017-03-16 Thread kalle
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@" rat