Horton

doc: Convert ids to upper case at build time

Peter Eisentraut <peter_e@gmx.net>

View on postgr.es
Commit: 5159626afbe969bdcb6623e9f75f79ecb13ec79c
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2017-11-03T18:14:16Z
Releases: 10.1 
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>

Files

PathChange+/−
doc/src/sgml/stylesheet-html-common.xsl modified +25 −0