mirror of
https://github.com/postgres/postgres.git
synced 2025-10-18 00:03: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.