diff options
author | Jim Meyering <meyering@fb.com> | 2023-04-29 01:38:12 -0700 |
---|---|---|
committer | Jim Meyering <meyering@meta.com> | 2023-04-29 01:38:31 -0700 |
commit | 7460d0f8b02714a7297ccf9349299cdacc2619bf (patch) | |
tree | a8da7f551a64282a4bcddfc49eb4587e928bfd34 /THANKS.in | |
parent | 92585cde9b5938d433738a873c8d44713d005f2c (diff) | |
download | grep-7460d0f8b02714a7297ccf9349299cdacc2619bf.tar.gz |
doc: say that `-f -` reads patterns from stdin
* doc/grep.texi (Matching Control): Mention that when -f's FILE is -,
grep reads patterns from stdin.
* doc/grep.in.1: Likewise.
* THANKS.in: Add the name.
Suggested by Sebastian Carlos in https://bugs.gnu.org/63146
Diffstat (limited to 'THANKS.in')
-rw-r--r-- | THANKS.in | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -81,6 +81,7 @@ Rainer Orth ro@cebitec.uni-bielefeld.de Roland Roberts rroberts@muller.com Ruslan Ermilov ru@freebsd.org Santiago Vila sanvila@unex.es +Sebastian Carlos sebaaa1754@gmail.com Shannon Hill hill@synnet.com Sotiris Vassilopoulos Sotiris.Vassilopoulos@betatech.gr Standish Parsley adsspamtrap01@yahoo.com |