projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a14b52c) | 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:16 +0000 (14:14 -0400)
commit5159626afbe969bdcb6623e9f75f79ecb13ec79c
tree96c9e57bd7924a3c80c902d91547172d24cf4c86tree
parenta14b52c61454e3d23f7d0ab0affa56f8abfdf505commit | 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.