From 09115bb13a4cd96c5ede8956b85c9d809d3e9a91 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 22 Mar 2023 17:16:38 -0700 Subject: [PATCH] doc: avoid capital sharp S with TeX MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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.” --- doc/grep.texi | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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. -- 2.39.2