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
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/49df45acd8d40ee172c2f5491485de997c5f1020
Modified Files
--------------
doc/src/sgml/stylesheet-html-common.xsl | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)