]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e5c2af) | patch
Fix warnings in man page build
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 28 Feb 2018 13:22:51 +0000 (08:22 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Thu, 8 Mar 2018 18:31:57 +0000 (13:31 -0500)
commit2f09dc11936b8656328ad66f7dc7d2dd5e45ed9e
treea89a62cfb2e9a3b82e1267339e9eeb3296c4bdcftree | snapshot
parent8e5c2afa98d9c28c9883c4c42890f3a6dd99ba4ecommit | diff
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 diff | blob | history
doc/src/sgml/stylesheet-man.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.