[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

grep branch, master, updated. v3.6-22-gcb15dfa

From: Jim Meyering
Subject: grep branch, master, updated. v3.6-22-gcb15dfa
Date: Sat, 19 Jun 2021 18:22:32 -0400 (EDT)

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "grep".

The branch, master has been updated
       via  cb15dfa4b2d7fba0d50e87b49f979c7f996b8ebc (commit)
      from  44965de32704ebd3203d1cb2d3bbca1b2ae8ec9b (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------

commit cb15dfa4b2d7fba0d50e87b49f979c7f996b8ebc
Author: Mateusz Okulus <>
Date:   Sat Jun 19 15:20:33 2021 -0700

    doc: note that -H is a GNU extension in man page, too
    * doc/ (-H): Mention that this is a GNU extension.

diff --git a/doc/ b/doc/
index c0b6b40..341d678 100644
--- a/doc/
+++ b/doc/
@@ -392,6 +392,7 @@ print the offset of the matching part itself.
 .BR \-H ", " \-\^\-with\-filename
 Print the file name for each match.
 This is the default when there is more than one file to search.
+This is a GNU extension.
 .BR \-h ", " \-\^\-no\-filename
 Suppress the prefixing of file names on output.


Summary of changes:
 doc/ | 1 +
 1 file changed, 1 insertion(+)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]