| 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: | Whole Thread | Raw Message | 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 |