Put options on man page and in help output in slightly better order

Peter Eisentraut <peter_e@gmx.net>

Commit: 406473b152338a015ad7e222f92b9b885f277fe8
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2012-08-24T04:06:59Z
Releases: 9.3.0
Put options on man page and in help output in slightly better order

Files