GNU bug report logs - #38792
man grep

Previous Next

Package: grep;

Reported by: Martin Simons <martin <at> webhuis.nl>

Date: Sun, 29 Dec 2019 15:19:01 UTC

Severity: normal

Done: Paul Eggert <eggert <at> cs.ucla.edu>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Martin Simons <martin <at> webhuis.nl>
Cc: 38792 <at> debbugs.gnu.org
Subject: bug#38792: man grep
Date: Sun, 29 Dec 2019 10:46:10 -0800
[Message part 1 (text/plain, inline)]
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 (text/x-patch, attachment)]
[0002-doc-fix-typo-in-previous-patch.patch (text/x-patch, attachment)]

This bug report was last modified 4 years and 238 days ago.

Previous Next


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