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

From Ian Lawrence Barwick
Subject doc: add missing "id" attributes to extension packaging page
Date
Msg-id CAB8KJ=jpuQU9QJe4+RgWENrK5g9jhoysMw2nvTN_esoOU0=a_w@mail.gmail.com
Whole thread Raw
Responses Re: doc: add missing "id" attributes to extension packaging page  (Alvaro Herrera <alvherre@alvh.no-ip.org>)
List 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

pgsql-hackers by date:

Previous
From: Michael Paquier
Date:
Subject: Re: mprove tab completion for ALTER EXTENSION ADD/DROP
Next
From: "Fujii.Yuki@df.MitsubishiElectric.co.jp"
Date:
Subject: RE: Partial aggregates pushdown