grep branch, master, updated. v3.9-11-g0035fb3

[Jim Meyering]

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  0035fb36ebeee8557df40fd0d75e3d50ec842929 (commit)
       via  86d7b53af1129b0c93a0f30746eb4b8e2da2017d (commit)
      from  30b80b654e875956277ffc57609005a95f4d587f (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=0035fb36ebeee8557df40fd0d75e3d50ec842929


commit 0035fb36ebeee8557df40fd0d75e3d50ec842929
Author: Paul Eggert <eggert@cs.ucla.edu>
Date:   Wed Mar 22 17:16:38 2023 -0700

    doc: avoid capital sharp S with TeX
    
    Do not use “ẞ” (U+1E9E, LATIN CAPITAL LETTER SHARP S) in tex, as
    texinfo version 2023-03-04.12 complains “Character missing, sorry:
    LONG S.”

diff --git a/doc/grep.texi b/doc/grep.texi
index 4ed9782..e05ae25 100644
--- a/doc/grep.texi
+++ b/doc/grep.texi
@@ -223,7 +223,13 @@ this unusual character matches ``S'' or ``s'' even though 
uppercasing
 it yields ``S''.  Another example: the lowercase German letter ``ß''
 (U+00DF, LATIN SMALL LETTER SHARP S) is normally capitalized as the
 two-character string ``SS'' but it does not match ``SS'', and it might
-not match the uppercase letter ``ẞ'' (U+1E9E, LATIN CAPITAL LETTER
+not match the uppercase letter
+@c texinfo version 2023-03-04.12 complains about the following, saying
+@c "Character missing, sorry: LONG S."  For now, omit it if tex.
+@ifnottex
+``ẞ''
+@end ifnottex
+(U+1E9E, LATIN CAPITAL LETTER
 SHARP S) even though lowercasing the latter yields the former.
 
 @option{-y} is an obsolete synonym that is provided for compatibility.

http://git.savannah.gnu.org/cgit/grep.git/commit/?id=86d7b53af1129b0c93a0f30746eb4b8e2da2017d


commit 0035fb36ebeee8557df40fd0d75e3d50ec842929
Author: Paul Eggert <eggert@cs.ucla.edu>
Date:   Wed Mar 22 17:16:38 2023 -0700

    doc: avoid capital sharp S with TeX
    
    Do not use “ẞ” (U+1E9E, LATIN CAPITAL LETTER SHARP S) in tex, as
    texinfo version 2023-03-04.12 complains “Character missing, sorry:
    LONG S.”

diff --git a/doc/grep.texi b/doc/grep.texi
index 4ed9782..e05ae25 100644
--- a/doc/grep.texi
+++ b/doc/grep.texi
@@ -223,7 +223,13 @@ this unusual character matches ``S'' or ``s'' even though 
uppercasing
 it yields ``S''.  Another example: the lowercase German letter ``ß''
 (U+00DF, LATIN SMALL LETTER SHARP S) is normally capitalized as the
 two-character string ``SS'' but it does not match ``SS'', and it might
-not match the uppercase letter ``ẞ'' (U+1E9E, LATIN CAPITAL LETTER
+not match the uppercase letter
+@c texinfo version 2023-03-04.12 complains about the following, saying
+@c "Character missing, sorry: LONG S."  For now, omit it if tex.
+@ifnottex
+``ẞ''
+@end ifnottex
+(U+1E9E, LATIN CAPITAL LETTER
 SHARP S) even though lowercasing the latter yields the former.
 
 @option{-y} is an obsolete synonym that is provided for compatibility.

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

Summary of changes:
 doc/grep.texi | 8 +++++++-
 gnulib        | 2 +-
 2 files changed, 8 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
grep