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_ea...@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