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 /NEWS | |
| 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.”
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions