| From: | Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> |
|---|---|
| To: | Brar Piening <brar(at)gmx(dot)de> |
| Cc: | PostgreSQL Hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> |
| Subject: | Re: Add id's to various elements in protocol.sgml |
| Date: | 2022-02-24 12:18:36 |
| Message-ID: | 4364ab38-a475-a1fc-b104-ecd6c72010d0@enterprisedb.com |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On 18.12.21 00:53, Brar Piening wrote:
> The purpose is that you can directly link to the id in the public html
> docs which still gets generated (e. g.
> https://www.postgresql.org/docs/14/protocol-replication.html#PROTOCOL-REPLICATION-BASE-BACKUP)
>
> Essentially it gives people discussing the protocol and pointing to a
> certain command or message format the chance to link to the very thing
> they are discussing instead of the top of the lengthy html page.
Is there a way to obtain those URLs other than going into the HTML
sources and checking if there is an anchor near where you want go?
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Andrew Dunstan | 2022-02-24 12:19:39 | Re: convert libpq uri-regress tests to tap test |
| Previous Message | Masahiko Sawada | 2022-02-24 12:17:55 | Re: Design of pg_stat_subscription_workers vs pgstats |