Fix warnings in man page build

The changes in the CREATE POLICY man page from commit
87c2a17fee784c7e1004ba3d3c5d8147da676783 triggered a stylesheet bug that
created some warning messages and incorrect output.  This installs a
workaround.

Also improve the whitespace a bit so it looks better.

diff --git a/doc/src/sgml/ref/create_policy.sgml b/doc/src/sgml/ref/create_policy.sgml
index 564a16994d669aded10e827490f4e2179a47c8b7..8cd8db7d18c4c5bc3251c9e872d49c7fcba9c47d 100644 (file)
--- a/doc/src/sgml/ref/create_policy.sgml
+++ b/doc/src/sgml/ref/create_policy.sgml
@@ -407,8 +407,7 @@ CREATE POLICY name ON 
       
        INSERT ... RETURNING
        
-        New row
-        
+        New row 
          
           If read access is required to the existing or new row (for example,
           a WHERE or RETURNING clause
@@ -424,8 +423,7 @@ CREATE POLICY name ON 
       
        UPDATE
        
-        Existing & new rows
-        
+        Existing & new rows 
        
        —
        Existing row
@@ -435,8 +433,7 @@ CREATE POLICY name ON 
       
        DELETE
        
-        Existing row
-        
+        Existing row 
        
        —
        —

diff --git a/doc/src/sgml/stylesheet-man.xsl b/doc/src/sgml/stylesheet-man.xsl
index e9c407230c578bbc15774b6890d2dd5ab083ff1f..5ef2fcd634d12193f787501e42fb628b25bbbffa 100644 (file)
--- a/doc/src/sgml/stylesheet-man.xsl
+++ b/doc/src/sgml/stylesheet-man.xsl
@@ -191,6 +191,12 @@
   
 
 
+
+
+  
+
+
+