Quick Links

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

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

	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