Mon, 9 Jan 2023 20:08:24 +0000 (15:08 -0500)
Mon, 9 Jan 2023 20:08:24 +0000 (15:08 -0500)
commit 78ee60ed84bb3a1cf0b6bd9a715dcbcf252a90f5
Doc: add XML ID attributes to <sectN> and <varlistentry> tags.
This doesn't have any external effect at the moment, but it
will allow adding useful link-discoverability features later.
Brar Piening, reviewed by Karl Pinc.
Discussion: https://postgr.es/m/CAB8KJ=jpuQU9QJe4+RgWENrK5g9jhoysMw2nvTN_esoOU0=a_w@mail.gmail.com