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

From: Ian Lawrence Barwick <barwick(at)gmail(dot)com>
To: pgsql-hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: doc: add missing "id" attributes to extension packaging page
Date: 2022-12-05 01:50:16
Message-ID: CAB8KJ=jpuQU9QJe4+RgWENrK5g9jhoysMw2nvTN_esoOU0=a_w@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

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

Attachment Content-Type Size
v1-0001-doc-add-id-attributes-to-extension-documentation.patch text/x-patch 1.3 KB

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Fujii.Yuki@df.MitsubishiElectric.co.jp 2022-12-05 02:03:49 RE: Partial aggregates pushdown
Previous Message Michael Paquier 2022-12-05 01:23:09 Re: mprove tab completion for ALTER EXTENSION ADD/DROP