bug#63146: closed (Document that -f takes "-" on Info and man page?)

[GNU bug Tracking System]

Your message dated Sat, 29 Apr 2023 10:40:56 +0200
with message-id 
<CA+8g5KF2A7YCFoTSUfJaGsehS3Qu4h8t=bWCqhMD=Yq97jf3Aw@mail.gmail.com>
and subject line Re: bug#63146: Document that -f takes "-" on Info and man page?
has caused the debbugs.gnu.org bug report #63146,
regarding Document that -f takes "-" on Info and man page?
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
63146: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63146
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Document that -f takes "-" on Info and man page? Date: Fri, 28 Apr 2023 15:25:08 +0200

Currently the documentation for the -f flag in both man page and info

are not very clear about the possibility of passing "-" to read from stdin.

--- End Message ---

--- Begin Message --- Subject: Re: bug#63146: Document that -f takes "-" on Info and man page? Date: Sat, 29 Apr 2023 10:40:56 +0200

On Fri, Apr 28, 2023 at 3:26 PM Sebastian Carlos <sebaaa1754@gmail.com> wrote:
> Currently the documentation for the -f flag in both man page and info
> are not very clear about the possibility of passing "-" to read from stdin.

Thanks for pointing that out.
I've addressed that with this just-pushed commit:

grep-doc-f-FILE-stdin.diff
Description: Binary data

--- End Message ---