2022年12月5日(月) 18:56 Alvaro Herrera <alvherre@alvh.no-ip.org>:
>
> 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.
Oh, now you mention it, I vaguely recall seeing those. However the thread
stalled back in March and the patches don't seem to have made it to a
CommitFest entry. Brar, would you like to add an entry so they don't get
lost? See: https://commitfest.postgresql.org/41/
The items in my patch are covered by the above so disregard that.
Regards
Ian Barwick
