projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9fce66) | patch
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:02 +0000 (14:14 -0400)
commit49df45acd8d40ee172c2f5491485de997c5f1020
tree4caee3b08f0b526387850803f1aa00d455bb0ee1tree
parenta9fce66729ad5217e8219e22e595974059c21291commit | diff
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 diff | blob | blame | history
This is the main PostgreSQL git repository.