Re: Add id's to various elements in protocol.sgml - Mailing list pgsql-hackers

From Peter Eisentraut
Subject Re: Add id's to various elements in protocol.sgml
Date
Msg-id 4364ab38-a475-a1fc-b104-ecd6c72010d0@enterprisedb.com
Whole thread Raw
In response to Re: Add id's to various elements in protocol.sgml  (Brar Piening <brar@gmx.de>)
Responses Re: Add id's to various elements in protocol.sgml  (Dagfinn Ilmari Mannsåker <ilmari@ilmari.org>)
List 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?



pgsql-hackers by date:

Previous
From: Masahiko Sawada
Date:
Subject: Re: Design of pg_stat_subscription_workers vs pgstats
Next
From: Andrew Dunstan
Date:
Subject: Re: convert libpq uri-regress tests to tap test