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

From: Brar Piening <brar(at)gmx(dot)de>
To: vignesh C <vignesh21(at)gmail(dot)com>, "Karl O(dot) Pinc" <kop(at)karlpinc(dot)com>
Cc: Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>, Ian Lawrence Barwick <barwick(at)gmail(dot)com>, pgsql-hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: Re: doc: add missing "id" attributes to extension packaging page
Date: 2023-01-09 07:09:02
Message-ID: c9f722b0-da6d-3d37-2c0e-c7b0157a64f0@gmx.de
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On 09.01.2023 at 03:31, vignesh C wrote:
> The patch does not apply on top of HEAD as in [1], please post a rebased patch:

Voilà

This one applies on top of 3c569049b7b502bb4952483d19ce622ff0af5fd6 and
the documentation build succeeds. Beyond rebasing I've added a few more
ids (to make the other patch (make_html_ids_discoverable.patch) build
without warnings again) but nothing that would justify another review.

We probably have to move quickly with this patch since it touches pretty
much any file in the documentation and will be outdated in a minute.

Regards,

Brar

Attachment Content-Type Size
add_html_ids_v3.patch text/plain 375.3 KB

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Brar Piening 2023-01-09 07:31:22 Re: doc: add missing "id" attributes to extension packaging page
Previous Message Amit Kapila 2023-01-09 05:03:44 Re: Logical replication timeout problem