git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

doc: Convert ids to upper case at build time

author Peter Eisentraut <peter_e@gmx.net>

2017年10月26日 19:19:56 +0000 (15:19 -0400)

committer Peter Eisentraut <peter_e@gmx.net>

Fri, 3 Nov 2017 18:14:02 +0000 (14:14 -0400)

commit 49df45acd8d40ee172c2f5491485de997c5f1020

tree 4caee3b08f0b526387850803f1aa00d455bb0ee1 tree

parent a9fce66729ad5217e8219e22e595974059c21291 commit | 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.

RSS Atom