Re: doc: add missing "id" attributes to extension packaging page

Brar Piening <brar@gmx.de>

View thread View on postgr.es

From: Brar Piening <brar@gmx.de>

To: Alvaro Herrera <alvherre@alvh.no-ip.org>

Cc: Ian Lawrence Barwick <barwick@gmail.com>, pgsql-hackers <pgsql-hackers@postgresql.org>

Date: 2022-12-06T18:16:51Z

Lists: pgsql-hackers

Attachments

make_html_ids_discoverable.patch (text/plain) patch

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

Commits

doc: Make HTML ids discoverable
- e2922702a302 16.0 landed
Add missing XML ID attribute
- a34901dd03ed 16.0 landed
postgres_fdw: Add support for parallel abort.
- 983ec23007bd 16.0 cited
Add missing XML ID attributes
- 3077324b03e8 16.0 landed
Add XML ID attributes to create_subscription.sgml.
- de5a47af2d80 16.0 cited
Stop recommending auto-download of DTD files, and indeed disable it.
- 969509c3f2e3 16.0 cited
Doc: add XML ID attributes to <sectN> and <varlistentry> tags.
- 78ee60ed84bb 16.0 landed
Allow left join removals and unique joins on partitioned tables
- 3c569049b7b5 16.0 cited
Improve GIN cost estimation
- cd9479af2af2 16.0 cited