mirror of
https://github.com/postgres/postgres.git
synced 2025-06-02 00:01:40 -04:00
Both the pgbench --help output and the reference page have sections for initialization options, benchmarking options, and common options. But the --debug option ended up in the wrong place on the reference page. Fix that by making the documentation match the --help output.