doc: Convert ids to upper case at build time
authorPeter Eisentraut <peter_e@gmx.net>
Thu, 26 Oct 2017 19:19:56 +0000 (15:19 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 3 Nov 2017 18:14:16 +0000 (14:14 -0400)
commit5159626afbe969bdcb6623e9f75f79ecb13ec79c
tree96c9e57bd7924a3c80c902d91547172d24cf4c86
parenta14b52c61454e3d23f7d0ab0affa56f8abfdf505
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>
doc/src/sgml/stylesheet-html-common.xsl