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 38c30f815064309020a3b8eece31af2df2edc251 (commit)
from 7a89c66674d1b8ff8ab5a294ee79974106bff371 (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=38c30f815064309020a3b8eece31af2df2edc251
commit 38c30f815064309020a3b8eece31af2df2edc251
Author: Paul Eggert <[email protected]>
Date: Sat Apr 21 13:53:25 2018 -0700
doc: fix font typo
diff --git a/doc/grep.in.1 b/doc/grep.in.1
index ffb4979..e260085 100644
--- a/doc/grep.in.1
+++ b/doc/grep.in.1
@@ -621,7 +621,7 @@ using wildcard matching; a name suffix is either the whole
name, or any suffix starting after a
.B /
and before a
-.RI non- / .
+.RB non- / .
When searching recursively, skip any subfile whose base name matches
.IR GLOB ;
the base name is the part after the last
-----------------------------------------------------------------------
Summary of changes:
doc/grep.in.1 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
grep
