diff options
author | Mateusz Okulus <mmokulus@gmail.com> | 2021-06-19 15:20:33 -0700 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2021-06-19 15:22:18 -0700 |
commit | cb15dfa4b2d7fba0d50e87b49f979c7f996b8ebc (patch) | |
tree | 659f0b393984b41877a29f706a0b7c3ca07d1463 /doc | |
parent | 44965de32704ebd3203d1cb2d3bbca1b2ae8ec9b (diff) | |
download | grep-cb15dfa4b2d7fba0d50e87b49f979c7f996b8ebc.tar.gz |
doc: note that -H is a GNU extension in man page, too
* doc/grep.in.1 (-H): Mention that this is a GNU extension.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/grep.in.1 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/grep.in.1 b/doc/grep.in.1 index c0b6b405..341d6780 100644 --- a/doc/grep.in.1 +++ b/doc/grep.in.1 @@ -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. .TP .BR \-h ", " \-\^\-no\-filename Suppress the prefixing of file names on output. |