Fix warnings in man page build

Peter Eisentraut <peter_e@gmx.net>

Commit: 2f09dc11936b8656328ad66f7dc7d2dd5e45ed9e
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2018-03-08T18:31:57Z
Releases: 9.6.9
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.

Files

PathChange+/−
doc/src/sgml/ref/create_policy.sgml modified +3 −6
doc/src/sgml/stylesheet-man.xsl modified +6 −0

Documentation touched