doc: Fix man page whitespace issues
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 7 Jun 2020 12:54:28 +0000 (14:54 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 7 Jun 2020 12:54:28 +0000 (14:54 +0200)
commita02b8bdd9878ae1d1ead87aabb673d60432500ea
tree44cfb701c6e64a539aa5ade05c5d2b324b74673e
parentf4c88ce1a20e8e944d74cb964926781d6ca4cb18
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 either to remove some
newlines or in some cases to reword slightly to avoid the awkward
markup layout.
19 files changed:
doc/src/sgml/ref/alter_collation.sgml
doc/src/sgml/ref/alter_subscription.sgml
doc/src/sgml/ref/alter_type.sgml
doc/src/sgml/ref/alter_view.sgml
doc/src/sgml/ref/create_extension.sgml
doc/src/sgml/ref/create_language.sgml
doc/src/sgml/ref/create_publication.sgml
doc/src/sgml/ref/create_subscription.sgml
doc/src/sgml/ref/create_view.sgml
doc/src/sgml/ref/drop_function.sgml
doc/src/sgml/ref/drop_procedure.sgml
doc/src/sgml/ref/drop_routine.sgml
doc/src/sgml/ref/pg_basebackup.sgml
doc/src/sgml/ref/pg_verifybackup.sgml
doc/src/sgml/ref/pgbench.sgml
doc/src/sgml/ref/pgupgrade.sgml
doc/src/sgml/ref/psql-ref.sgml
doc/src/sgml/ref/select.sgml
doc/src/sgml/spi.sgml