doc: Move options on man pages into more alphabetical order
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 7 Jun 2020 12:07:33 +0000 (14:07 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 7 Jun 2020 12:07:33 +0000 (14:07 +0200)
commitb25da866152347109943f998b66b1a320a9de3e0
treec0e52cb66e771261cc48e09bbd327b5a067218a3
parent9ac0a26210901a5869fd7ea83ab1c59489c1aeef
doc: Move options on man pages into more alphabetical order
doc/src/sgml/ref/dropdb.sgml
doc/src/sgml/ref/pg_basebackup.sgml
doc/src/sgml/ref/pg_dumpall.sgml
doc/src/sgml/ref/pg_rewind.sgml
doc/src/sgml/ref/pgbench.sgml