projects / postgresql.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 51057fe) | 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>
Wed, 28 Feb 2018 13:22:51 +0000 (08:22 -0500)
commitd21ddc220fc735da84c9fa7bae1968f6953a6c8c
tree5701a8bda3eeff79667f4b23585331b8c619b878tree
parent51057feaa6bd24b51e6a4715c2090491ef037534commit | 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 | blame | history
doc/src/sgml/stylesheet-man.xsl diff | blob | blame | history
This is the main PostgreSQL git repository.