2022年12月5日(月) 18:56 Alvaro Herrera <alvhe...@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-0665986fa...@gmx.de > and this other one > https://postgr.es/m/76287ac6-f415-8562-fdaa-5876380c0...@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
