doc: recommend use of GUC server_version_num for version checks

Patch by Craig Ringer

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 5f7bf6aa13e83fcb3afd00bffe8776f236a7d928..0053d7d4101e98cfc6940096e1d5a9f4c02b6684 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -14617,7 +14617,7 @@ SELECT * FROM pg_ls_dir('.') WITH ORDINALITY AS t(ls,n);
       
        version()
        text
-       PostgreSQL version information
+       PostgreSQL version information. See also  for a machine-readable version.
       
      
     
@@ -14804,7 +14804,12 @@ SET search_path TO schema , schema, ..
 
    
     version returns a string describing the
-    PostgreSQL server's version.
+    PostgreSQL server's version. You can also
+    get this information from  or
+    for a machine-readable version, .
+    Software developers should use server_version_num
+    (available since 8.2) or  instead
+    of parsing the text version.