]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f9c7c2) | 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 17:23:05 +0000 (12:23 -0500)
commitcccba8b768d60c3f709298075c8795b8142e39ad
tree1ecb2a112dfbc7a37ad428863ae3811676198431tree | snapshot
parent0f9c7c286271e219da5c6789d302099e79a2b7a5commit | 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.