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:16 -0400 |
| commit | 5159626afbe969bdcb6623e9f75f79ecb13ec79c (patch) | |
| tree | 96c9e57bd7924a3c80c902d91547172d24cf4c86 /src/backend/access/gist/gistget.c | |
| parent | a14b52c61454e3d23f7d0ab0affa56f8abfdf505 (diff) | |
| download | postgresql-5159626afbe969bdcb6623e9f75f79ecb13ec79c.tar.gz postgresql-5159626afbe969bdcb6623e9f75f79ecb13ec79c.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/gistget.c')
0 files changed, 0 insertions, 0 deletions