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 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/catalogs.sgml,v 2.123 2006/05/28 02:27:08 alvherre Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/catalogs.sgml,v 2.124 2006/06/03 02:53:04 tgl Exp $ -->
 <!--
  Documentation of the system catalogs, directed toward PostgreSQL developers
  -->
@@ -1954,7 +1954,9 @@
       <entry><structfield>encoding</structfield></entry>
       <entry><type>int4</type></entry>
       <entry></entry>
-      <entry>Character encoding for this database</entry>
+      <entry>Character encoding for this database
+          (<function>pg_encoding_to_char()</function> can translate
+           this number to the encoding name)</entry>
      </row>
 
      <row>