On 2022-Dec-05, Ian Lawrence Barwick wrote:
> On this page:
>
> https://www.postgresql.org/docs/current/extend-extensions.html
>
> three of the <sect2> sections are missing an "id" attribute; patch adds
> these. Noticed when trying to create a stable link to one of the affected
> sections.
Hm, I was reminded of this patch here that adds IDs in a lot of places
https://postgr.es/m/3bac458c-b121-1b20-8dea-0665986faa40@gmx.de
and this other one
https://postgr.es/m/76287ac6-f415-8562-fdaa-5876380c05f3@gmx.de
which adds XSL stuff for adding selectable anchors next to each
id-carrying item.
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/