From d21ddc220fc735da84c9fa7bae1968f6953a6c8c Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 28 Feb 2018 08:22:51 -0500 Subject: [PATCH] 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. --- doc/src/sgml/ref/create_policy.sgml | 9 +++------ doc/src/sgml/stylesheet-man.xsl | 6 ++++++ 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/doc/src/sgml/ref/create_policy.sgml b/doc/src/sgml/ref/create_policy.sgml index 85c74e8e82..0e35b0ef43 100644 --- a/doc/src/sgml/ref/create_policy.sgml +++ b/doc/src/sgml/ref/create_policy.sgml @@ -445,8 +445,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 @@ -462,8 +461,7 @@ CREATE POLICY name ON UPDATE - Existing & new rows - + Existing & new rows Existing row @@ -473,8 +471,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 e9c407230c..5ef2fcd634 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -191,6 +191,12 @@ + + + + + + -- 2.40.0