grep branch, master, updated. v3.3-53-gba4202c

[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  ba4202cce98d8bef3d91f0d6edf1aa0ae1d1704d (commit)
      from  14b37769f23922aae8725cf4834a3057d5530cfb (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=ba4202cce98d8bef3d91f0d6edf1aa0ae1d1704d


commit ba4202cce98d8bef3d91f0d6edf1aa0ae1d1704d
Author: Paul Eggert <address@hidden>
Date:   Sun Dec 29 10:54:28 2019 -0800

    doc: improve subsection title (Bug#26132)
    
    * doc/grep.in.1: Rename "Matcher Selection" to "Pattern Syntax".

diff --git a/doc/grep.in.1 b/doc/grep.in.1
index f52cc87..a382966 100644
--- a/doc/grep.in.1
+++ b/doc/grep.in.1
@@ -206,7 +206,7 @@ Output a usage message and exit.
 Output the version number of
 .B grep
 and exit.
-.SS "Matcher Selection"
+.SS "Pattern Syntax"
 .TP
 .BR \-E ", " \-\^\-extended\-regexp
 Interpret

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

Summary of changes:
 doc/grep.in.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
grep