Mention pg_encoding_to_char in entry for pg_database.encoding.

Per Larry Rosenman.

diff --git a/doc/src/sgml/catalogs.sgml b/doc/src/sgml/catalogs.sgml
index 27ea27fec4e827f9a65b121477548724ced79365..7aeb9f8b64beafb394cbad59cb27b48ba9b65f2b 100644 (file)
--- a/doc/src/sgml/catalogs.sgml
+++ b/doc/src/sgml/catalogs.sgml
@@ -1,4 +1,4 @@
-
+
 
@@ -1954,7 +1954,9 @@
       encoding
       int4
       
-      Character encoding for this database
+      Character encoding for this database
+          (pg_encoding_to_char() can translate
+           this number to the encoding name)