projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 805e8bc) | patch
doc: Tweak reference page header style
authorPeter Eisentraut <peter_e@gmx.net>
Sat, 18 Mar 2017 18:17:28 +0000 (14:17 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Sat, 18 Mar 2017 18:17:28 +0000 (14:17 -0400)
commitcb5fa4130ed5bdd37a51ce8cade3c2a2461097b9
tree50b9c847b7f94a53c2c3bc22e55fb2b53cf907cbtree
parent805e8bc7029b6eb19f0ca3a68051cfda5bd07ef3commit | diff
doc: Tweak reference page header style

Change the header style of references pages in HTML and PDF output to be
more like the old style under DSSSL.  In particular, the page should
start with a header containing the command name, instead of just "Name".
doc/src/sgml/stylesheet-common.xsl diff | blob | blame | history
This is the main PostgreSQL git repository.