Feedback-ID: ia2694551:Fastmail
Date: Mon, 5 Dec 2022 10:56:31 +0100
From: Alvaro Herrera <alvherre@alvh.no-ip.org>
To: Ian Lawrence Barwick <barwick@gmail.com>
Cc: pgsql-hackers <pgsql-hackers@postgresql.org>,
	Brar Piening <brar@gmx.de>
Subject: Re: doc: add missing "id" attributes to extension packaging page
Message-ID: <20221205095631.6k5ksdxlb3kwmn7t@alvherre.pgsql>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: 
 <CAB8KJ=jpuQU9QJe4+RgWENrK5g9jhoysMw2nvTN_esoOU0=a_w@mail.gmail.com>
Archived-At: 
 <https://www.postgresql.org/message-id/20221205095631.6k5ksdxlb3kwmn7t%40alvherre.pgsql>
Precedence: bulk

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/