]> Savannah Git Hosting - gnulib.git/commitdiff
doc: Don't assume that the output format is TeX-based or info.
authorBruno Haible <bruno@clisp.org>
Wed, 22 Sep 2021 21:07:24 +0000 (23:07 +0200)
committerBruno Haible <bruno@clisp.org>
Wed, 22 Sep 2021 21:18:07 +0000 (23:18 +0200)
Reported by Dietmar Schindler in
<https://lists.gnu.org/archive/html/bug-gnulib/2021-09/msg00095.html>.

* doc/regex.texi (Collating Elements vs. Characters): Assume a texinfo
version that groks UTF-8 encoded ISO-8859-1 characters.

ChangeLog
doc/regex.texi

index a641418208bb0f6ec22ecaf605fedf23dbd4fa4b..6cdba97f8449a533f1d39d1304ed1eb176042bb4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2021-09-22  Bruno Haible  <bruno@clisp.org>
+
+       doc: Don't assume that the output format is TeX-based or info.
+       Reported by Dietmar Schindler in
+       <https://lists.gnu.org/archive/html/bug-gnulib/2021-09/msg00095.html>.
+       * doc/regex.texi (Collating Elements vs. Characters): Assume a texinfo
+       version that groks UTF-8 encoded ISO-8859-1 characters.
+
 2021-09-21  Paul Eggert  <eggert@cs.ucla.edu>
 
        regex: sync with glibc
index 91d6bb7b4e1afa23773e38fe69318d2b80d93bad..19a12cfa3897a351d1d18d5532eba9d396ff4d19 100644 (file)
@@ -385,13 +385,7 @@ as a unit of collation.''
 
 This generalizes the notion of a character in
 two ways.  First, a single character can map into two or more collating
-elements.  For example, the German
-@tex
-``\ss''
-@end tex
-@ifinfo
-``es-zet''
-@end ifinfo
+elements.  For example, the German ``ß''
 collates as the collating element @samp{s} followed by another collating
 element @samp{s}.  Second, two or more characters can map into one
 collating element.  For example, the Spanish @samp{ll} collates after