Re: doc: add missing "id" attributes to extension packaging page - Mailing list pgsql-hackers

From Brar Piening
Subject Re: doc: add missing "id" attributes to extension packaging page
Date
Msg-id d6695820-af71-5e84-58b0-ff9f1c189603@gmx.de
Whole thread Raw
In response to Re: doc: add missing "id" attributes to extension packaging page  (Brar Piening <brar@gmx.de>)
List pgsql-hackers
On 06.12.2022 at 18:59, Brar Piening wrote:
> On 06.12.2022 at 09:38, Alvaro Herrera wrote:
>> I would welcome separate patches: one to add the IDs, another for the
>> XSL/CSS stuff.  That allows us to discuss them separately.
>
> I'll send two patches in two separate e-mails in a moment.

This is patch no 2 that adds links to html elements with ids to make
them visible on the HTML surface when hovering the element.

Regards,

Brar


Attachment

pgsql-hackers by date:

Previous
From: Andres Freund
Date:
Subject: Re: pg_upgrade test failure
Next
From: Corey Huinker
Date:
Subject: Re: Error-safe user functions