From d2ca16bb509c453eac181c1ef805ff55289df779 Mon Sep 17 00:00:00 2001 From: Jeff Davis Date: Sat, 25 Jan 2025 00:12:30 -0800 Subject: [PATCH] Fix PDF doc build. Reported-by: Tom Lane Discussion: https://postgr.es/m/608525.1737781222@sss.pgh.pa.us --- doc/src/sgml/func.sgml | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml index d2b0b059e65..7efc81936ab 100644 --- a/doc/src/sgml/func.sgml +++ b/doc/src/sgml/func.sgml @@ -3120,19 +3120,15 @@ SELECT NOT(ROW(table.*) IS NOT NULL) FROM TABLE; -- detect at least one null in Performs case folding of the input string according to the collation. Case folding is similar to case conversion, but the purpose of case - folding is to facilitate case-insensitive comparison of strings, + folding is to facilitate case-insensitive matching of strings, whereas the purpose of case conversion is to convert to a particular cased form. This function can only be used when the server encoding is UTF8. - Ordinarily, case folding simply converts to lowercase, but there are a - few notable exceptions depending on the collation. For instance, the - character Σ (U+03A3) has two lowercase forms: - σ (U+03C3) and ς (U+03C2); case - folding in the PG_C_UTF8 collation maps all three - forms to σ. Additionally, the result is not - necessarily lowercase; some characters may be folded to uppercase. + Ordinarily, case folding simply converts to lowercase, but there may + be exceptions depending on the collation. For instance, some + characters have more than two lowercase variants, or fold to uppercase. Case folding may change the length of the string. For instance, in