Minor SGML markup cleanup.

diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
index 38e2c4a7001b958b664136e3837459ab815a8543..02ca4f896e3c5ab29be0d1e4808ea68131226b01 100644 (file)
--- a/doc/src/sgml/func.sgml
+++ b/doc/src/sgml/func.sgml
@@ -1,5 +1,5 @@
 
 
@@ -5147,7 +5147,7 @@ SELECT SUBSTRING('XY1234Z', 'Y*?([0-9]{1,3})');
        
 
        
-        timeofday()
+        timeofday()
         text
         Current date and time; see 
                                          linkend="functions-datetime-current">
@@ -8069,75 +8069,75 @@ select current_date + s.a as dates from generate_series(0,14,7) as s(a);
 
      
       
-       <function>current_database()>
+       <literal>current_database()>
        name
        name of current database
       
 
       
-       <function>current_schema()>
+       <literal>current_schema()>
        name
        name of current schema
       
 
       
-       <function>current_schemas(boolean)>
+       <literal>current_schemas(boolean)>
        name[]
        names of schemas in search path optionally including implicit schemas
       
 
       
-       <function>current_user>
+       <literal>current_user>
        name
        user name of current execution context
       
 
       
-       <function>inet_client_addr()>
+       <literal>inet_client_addr()>
        inet
        address of the remote connection
       
 
       
-       <function>inet_client_port()>
+       <literal>inet_client_port()>
        int4
        port of the remote connection
       
 
       
-       <function>inet_server_addr()>
+       <literal>inet_server_addr()>
        inet
        address of the local connection
       
 
       
-       <function>inet_server_port()>
+       <literal>inet_server_port()>
        int4
        port of the local connection
       
 
       
-       <function>session_user>
+       <literal>session_user>
        name
        session user name
       
 
       
-       <function>pg_postmaster_start_time()>
+       <literal>pg_postmaster_start_time()>
        timestamp with time zone
        postmaster start time
       
 
       
-       <function>user>
+       <literal>user>
        name
        equivalent to current_user
       
 
       
-       <function>version()>
+       <literal>version()>
        text
-       PostgreSQL version information
+       PostgreSQL version information
       
      
     
@@ -8230,7 +8230,7 @@ SET search_path TO schema , schema, ..
    
 
    
-     pg_postmaster_start_time() returns the timestamp with time zone
+     pg_postmaster_start_time returns the timestamp with time zone
      when the postmaster started.
    
 
@@ -8239,7 +8239,7 @@ SET search_path TO schema , schema, ..
    
 
    
-    version() returns a string describing the
+    version returns a string describing the
     PostgreSQL server's version.