projects / users / gsingh / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71cb84e) | patch
doc: Add missing <varlistentry> markups for developer GUCs
authorMichael Paquier <michael@paquier.xyz>
Mon, 5 Dec 2022 02:23:08 +0000 (11:23 +0900)
committerMichael Paquier <michael@paquier.xyz>
Mon, 5 Dec 2022 02:23:08 +0000 (11:23 +0900)
commit8a476fda5e45f16d8c608c73d9e871bd4023d79a
treef25223fc186a19b28f62bd47c5403ca8c84978e4tree
parent71cb84ec69a38444c48bd8d3b5451b2da157848bcommit | diff
doc: Add missing <varlistentry> markups for developer GUCs

Missing such markups makes it impossible to create links back to these
GUCs, and all the other parameters have one already.

Author: Ian Lawrence Barwick
Discussion: https://postgr.es/m/CAB8KJ=jx=6dFB_EN3j0UkuvG3cPu5OmQiM-ZKRAz+fKvS+u8Ng@mail.gmail.com
Backpatch-through: 11
doc/src/sgml/config.sgml diff | blob | blame | history
Postgres clone for personal branches