[COMMITTERS] pgsql: doc: Convert ids to upper case at build time - Mailing list pgsql-committers

From Peter Eisentraut
Subject [COMMITTERS] pgsql: doc: Convert ids to upper case at build time
Date
Msg-id E1eAgcb-0004PX-Ot@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
doc: Convert ids to upper case at build time

This makes the produced HTML anchors upper case, making it backward
compatible with the previous (9.6) build system.

Reported-by: Thomas Kellerer <spam_eater@gmx.net>

Branch
------
REL_10_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/5159626afbe969bdcb6623e9f75f79ecb13ec79c

Modified Files
--------------
doc/src/sgml/stylesheet-html-common.xsl | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)


--
Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers

pgsql-committers by date:

Previous
From: Tom Lane
Date:
Subject: Re: [COMMITTERS] pgsql: Fix BRIN summarization concurrent with extension
Next
From: Alvaro Herrera
Date:
Subject: Re: [COMMITTERS] pgsql: Fix BRIN summarization concurrent withextension