pgsql: doc: Convert ids to upper case at build time

From: Peter Eisentraut <peter_e(at)gmx(dot)net>
To: pgsql-committers(at)postgresql(dot)org
Subject: pgsql: doc: Convert ids to upper case at build time
Date: 2017-11-03 18:23:13
Message-ID: E1eAgcb-0004PX-Ot@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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(at)gmx(dot)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(+)

Browse pgsql-committers by date

  From Date Subject
Next Message Alvaro Herrera 2017-11-03 18:52:25 Re: pgsql: Fix BRIN summarization concurrent with extension
Previous Message Tom Lane 2017-11-03 18:02:46 Re: pgsql: Fix BRIN summarization concurrent with extension