From: | Brar Piening <brar(at)gmx(dot)de> |
---|---|
To: | Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com>, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>, "Karl O(dot) Pinc" <kop(at)karlpinc(dot)com> |
Cc: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, vignesh C <vignesh21(at)gmail(dot)com>, 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-04-13 14:01:35 |
Message-ID: | 90cf1be5-19cb-e2e9-756b-02df52a99cfb@gmx.de |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
On 13.04.2023 at 10:31, Peter Eisentraut wrote:
> The first patch has been committed.
Yay - thank you!
> The second patch should be sent to pgsql-www for integrating into the
> web site.
Done via [1]. Thanks for the hint.
> Side project: I noticed that these new hover links don't appear in the
> single-page HTML output (make postgres.html), even though the
> generated HTML source code looks correct. Maybe someone has an idea
> there.
I feel responsible for the feature to work for all use cases where it
makes sense. I'll investigate this and post back.
Regards,
Brar
[1]
https://www.postgresql.org/message-id/d987a4a7-62c3-7e0c-860f-1c96fc2117d9%40gmx.de
From | Date | Subject | |
---|---|---|---|
Next Message | Dagfinn Ilmari Mannsåker | 2023-04-13 14:58:03 | Re: doc: add missing "id" attributes to extension packaging page |
Previous Message | Tom Lane | 2023-04-13 14:00:51 | Re: Allowing parallel-safe initplans |