diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2017-10-26 15:19:56 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2017-11-03 14:14:02 -0400 |
| commit | 49df45acd8d40ee172c2f5491485de997c5f1020 (patch) | |
| tree | 4caee3b08f0b526387850803f1aa00d455bb0ee1 /src/backend/access/gist | |
| parent | a9fce66729ad5217e8219e22e595974059c21291 (diff) | |
| download | postgresql-49df45acd8d40ee172c2f5491485de997c5f1020.tar.gz postgresql-49df45acd8d40ee172c2f5491485de997c5f1020.zip | |
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>
Diffstat (limited to 'src/backend/access/gist')
0 files changed, 0 insertions, 0 deletions