grep branch, master, updated. v3.3-69-g767c83f

[Paul Eggert]

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  767c83fd302f05a8b790a78eacce11aac50903ee (commit)
      from  83a50fa46687ae9cd13d0bbc85cc093306228236 (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 -----------------------------------------------------------------
http://git.savannah.gnu.org/cgit/grep.git/commit/?id=767c83fd302f05a8b790a78eacce11aac50903ee


commit 767c83fd302f05a8b790a78eacce11aac50903ee
Author: Paul Eggert <address@hidden>
Date:   Thu Jan 2 01:54:47 2020 -0800

    doc: fix --exclude description in man page
    
    Problem reported by Duncan Moore (Bug#37212).
    * src/grep.c (usage): Fix incorrect statement about --exclude
    and directories.  Standardize on “that match GLOB” instead
    of “matching GLOB”.

diff --git a/src/grep.c b/src/grep.c
index 35d563d..7ba602d 100644
--- a/src/grep.c
+++ b/src/grep.c
@@ -1970,8 +1970,8 @@ Output control:\n\
       printf (_("\
       --include=GLOB        search only files that match GLOB (a file pattern)"
                 "\n\
-      --exclude=GLOB        skip files and directories matching GLOB\n\
-      --exclude-from=FILE   skip files matching any file pattern from FILE\n\
+      --exclude=GLOB        skip files that match GLOB\n\
+      --exclude-from=FILE   skip files that match any file pattern from FILE\n\
       --exclude-dir=GLOB    skip directories that match GLOB\n\
 "));
       printf (_("\

-----------------------------------------------------------------------

Summary of changes:
 src/grep.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
grep