From 353dd75260e00379240be6a7b8897e90449a95db 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 564a16994d6..8cd8db7d18c 100644 --- 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 1feb4f5ec06..4d937515ec5 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -184,6 +184,12 @@ + + + + + +