bug#62272: Erroneous claim in grep man page

2023-03-20 Thread Paul Eggert
On 2023-03-19 02:27, David Kra wrote: TOBE: "Although the syntaxes differ, in GNU grep there is no difference in available functionality between basic and extended syntaxes." I'm not a fan of "syntaxes". Although it is a word in computer science it grates in my ear because in linguistics "syn

bug#62272: Erroneous claim in grep man page

2023-03-19 Thread Jim Meyering
tags notabug 62272 stop On Sun, Mar 19, 2023 at 5:47 AM David Kra wrote: > This is a request and further endorsement of a report from 2008, ending > with https://lists.gnu.org/archive/html/bug-grep/2008-08/msg2.html > > Request: Either add four words to the manpage or delete the entire > sent

bug#62272: Erroneous claim in grep man page

2023-03-19 Thread David Kra
This is a request and further endorsement of a report from 2008, ending with https://lists.gnu.org/archive/html/bug-grep/2008-08/msg2.html Request: Either add four words to the manpage or delete the entire sentence. ASIS: "In GNU grep there is no difference in available functionality between b