Re: docs: add missing id elements for developer GUCs

2022-12-05 Thread Ian Lawrence Barwick
2022年12月5日(月) 11:25 Michael Paquier : > > On Sat, Dec 03, 2022 at 03:58:19PM +0900, Ian Lawrence Barwick wrote: > > A few of the developer option GUCs were missing the "id" attribute > > in their markup, making it impossible to link to them directly. > > True enough that the other developer GUCs

Re: docs: add missing id elements for developer GUCs

2022-12-04 Thread Michael Paquier
On Sat, Dec 03, 2022 at 03:58:19PM +0900, Ian Lawrence Barwick wrote: > A few of the developer option GUCs were missing the "id" attribute > in their markup, making it impossible to link to them directly. True enough that the other developer GUCs do that, so applied and backpatched down to 11. --

docs: add missing id elements for developer GUCs

2022-12-02 Thread Ian Lawrence Barwick
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