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 14b37769f23922aae8725cf4834a3057d5530cfb (commit)
from fe630c9fef9e310f7b1118ab70ed6c8d5b6eca3b (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=14b37769f23922aae8725cf4834a3057d5530cfb
commit 14b37769f23922aae8725cf4834a3057d5530cfb
Author: Paul Eggert <[email protected]>
Date: Sun Dec 29 10:44:45 2019 -0800
doc: fix typo in previous patch
diff --git a/doc/grep.in.1 b/doc/grep.in.1
index 6258846..f52cc87 100644
--- a/doc/grep.in.1
+++ b/doc/grep.in.1
@@ -1364,7 +1364,7 @@ from the globbing syntax that the shell uses to match
file names.
.BR pcrepattern (3),
.BR terminfo (5),
.BR glob (7),
-.BR regex(7).
+.BR regex (7).
.SS "Full Documentation"
A
.UR https://www.gnu.org/software/grep/manual/
-----------------------------------------------------------------------
Summary of changes:
doc/grep.in.1 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
grep
