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 <[email protected]>
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
