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

Ian Lawrence Barwick <barwick@gmail.com>

From: Ian Lawrence Barwick <barwick@gmail.com>

To: pgsql-hackers <pgsql-hackers@postgresql.org>

Date: 2022-12-05T01:50:16Z

Lists: pgsql-hackers

Attachments

v1-0001-doc-add-id-attributes-to-extension-documentation.patch (text/x-patch) patch v1-0001

Hi

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.

Regards

Ian Barwick

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