doc/src/sgml/stylesheet-html-common.xsl · 5159626afbe969bdcb6623e9f75f79ecb13ec79c · Jakob Huber / postgres-lambda-diff

7 years ago

doc: Convert ids to upper case at build time · 5159626a


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>

5159626a

History

doc: Convert ids to upper case at build time

Peter Eisentraut authored 7 years ago


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>