[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38792: man grep
From: |
Paul Eggert |
Subject: |
bug#38792: man grep |
Date: |
Sun, 29 Dec 2019 10:46:10 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 |
On 12/29/19 6:24 AM, Martin Simons wrote:
> It may not be the task of the grep project to provide a man page, but even
> then I
> feel there is an opportunity for improvement here
Right on both counts. I installed the attached patches to improve things a bit
in the next version of grep. Thanks for reporting the problem.
The GNU guidelines deprecate man pages, so extended examples should go into
doc/grep.texi where students can view them at
<https://www.gnu.org/software/grep/manual/>. So if you'd like to improve the
examples further, please suggest them as patches to doc/grep.texi in "git
format-patch" style. If they're extensive we'll also need to get the copyright
formalities done which I can fill you in about if you're interested in pursuing
this.
0001-doc-document-quoting-better.patch
Description: Text Data
0002-doc-fix-typo-in-previous-patch.patch
Description: Text Data
- bug#38792: man grep, Martin Simons, 2019/12/29
- bug#38792: man grep,
Paul Eggert <=
- bug#38792: man grep, Stephane Chazelas, 2019/12/29
- bug#38792: man grep, Paul Eggert, 2019/12/29
- bug#38792: man grep, Stephane Chazelas, 2019/12/30
- bug#38792: man grep, Paul Eggert, 2019/12/30
- bug#38792: man grep, Stephane Chazelas, 2019/12/30
- bug#38792: man grep, Paul Eggert, 2019/12/30
bug#38792: man grep, Stephane Chazelas, 2019/12/29