diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2023-03-22 17:16:38 -0700 |
|---|---|---|
| committer | Jim Meyering <meyering@meta.com> | 2023-03-22 17:43:09 -0700 |
| commit | 0035fb36ebeee8557df40fd0d75e3d50ec842929 (patch) | |
| tree | e5df6f54aaa94648d077c122e2a6e9c71e198045 | |
| parent | 86d7b53af1129b0c93a0f30746eb4b8e2da2017d (diff) | |
| download | grep-0035fb36ebeee8557df40fd0d75e3d50ec842929.tar.gz | |
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.”
| -rw-r--r-- | doc/grep.texi | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/grep.texi b/doc/grep.texi index 4ed9782d..e05ae257 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. |