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

Peter Eisentraut <peter_e@gmx.net>

Commit: 5171a400cb15a94b6a2aa8ea2ad7a0128d080830
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2012-08-24T04:07:44Z
Releases: 9.2.0
Put options on man page and in help output in slightly better order

Files