docs: add missing <varlistentry> id elements for developer GUCs

Ian Lawrence Barwick <barwick@gmail.com>

From: Ian Lawrence Barwick <barwick@gmail.com>
To: pgsql-hackers <pgsql-hackers@postgresql.org>
Date: 2022-12-03T06:58:19Z
Lists: pgsql-hackers

Attachments

Hi

A few of the developer option GUCs were missing the "id" attribute
in their markup, making it impossible to link to them directly.

Specifically the entries from "trace_locks" to "log_btree_build_stats" here:

    https://www.postgresql.org/docs/current/runtime-config-developer.html

Patch applies cleanly back to REL_11_STABLE.

Regards

Ian Barwick

Commits

  1. doc: Add missing <varlistentry> markups for developer GUCs