Peter Eisentraut 9cae39b8e6 doc: Fix man page whitespace issues ...

Whitespace between tags is significant, and in some cases it creates
extra vertical space in man pages.  The fix is to remove some newlines
in the markup.

2021-04-09 23:36:46 +02:00

..

src

doc: Fix man page whitespace issues

2021-04-09 23:36:46 +02:00

KNOWN_BUGS

Remove extra newlines at end and beginning of files, add missing newlines

2010-08-19 05:57:36 +00:00

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

Remove extra newlines at end and beginning of files, add missing newlines

2010-08-19 05:57:36 +00:00

TODO

Change documentation references to PG website to use https: not http:

2017-05-20 21:50:47 -04:00