doc: remove unnecessary blank before command option text
authorBruce Momjian <bruce@momjian.us>
Thu, 3 Dec 2020 16:33:24 +0000 (11:33 -0500)
committerBruce Momjian <bruce@momjian.us>
Thu, 3 Dec 2020 16:33:24 +0000 (11:33 -0500)
commit3f8971d92e767acf6e3d6e27c4cab7bfd88b71f4
tree2d1e3917fb33a2e877936d18e4ceca602930a2c1
parenta659e789b743f1a4b977a1ffc7402ab618a9f68c
doc: remove unnecessary blank before command option text

Backpatch-through: 11
doc/src/sgml/ref/pg_checksums.sgml
doc/src/sgml/ref/pg_controldata.sgml
doc/src/sgml/ref/pg_resetwal.sgml