2022年12月5日(月) 18:56 Alvaro Herrera <[email protected]>: > > 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/[email protected] > and this other one > https://postgr.es/m/[email protected] > 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
