diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2023-04-13 10:15:20 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2023-04-13 10:16:33 +0200 |
| commit | e2922702a3027945f139f9b0c7b4686423304e21 (patch) | |
| tree | 1b1a96497a7c92b780df1c02ce97be4ecb595789 /src/backend/utils/adt/pgstatfuncs.c | |
| parent | a34901dd03edb473ddbd81ee5c7332575f6d8881 (diff) | |
| download | postgresql-e2922702a3027945f139f9b0c7b4686423304e21.tar.gz postgresql-e2922702a3027945f139f9b0c7b4686423304e21.zip | |
doc: Make HTML ids discoverable
In the HTML output, this decorates section headers and variable list
terms with a marker ("#") that is a link to the same section/term.
That way, links inside a page can be discovered for easier sharing.
The marker only appears when hovering.
This now requires that all elements that are candidates for such a
link have an id attribute. Otherwise, an error will be generated.
All previously missing ids have been added prior to this patch.
Author: Brar Piening <brar@gmx.de>
Reviewed-by: Karl O. Pinc <kop@karlpinc.com>
Discussion: https://www.postgresql.org/message-id/flat/CAB8KJ=jpuQU9QJe4+RgWENrK5g9jhoysMw2nvTN_esoOU0=a_w@mail.gmail.com
Diffstat (limited to 'src/backend/utils/adt/pgstatfuncs.c')
0 files changed, 0 insertions, 0 deletions