diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2018-02-28 08:22:51 -0500 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2018-03-08 12:23:05 -0500 |
| commit | cccba8b768d60c3f709298075c8795b8142e39ad (patch) | |
| tree | 1ecb2a112dfbc7a37ad428863ae3811676198431 /src | |
| parent | 0f9c7c286271e219da5c6789d302099e79a2b7a5 (diff) | |
| download | postgresql-cccba8b768d60c3f709298075c8795b8142e39ad.tar.gz postgresql-cccba8b768d60c3f709298075c8795b8142e39ad.zip | |
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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions