doc: Port page header customizations to XSLT
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 4 Nov 2016 16:00:00 +0000 (12:00 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Sat, 5 Nov 2016 02:14:10 +0000 (22:14 -0400)
commit6feb69f6cef8b1bd2829700e25e402f22e86f3bd
treec390ba03e423998ce3874b79d0ce57f4013c4e1e
parentc8ead2a3974d3eada145a0e18940150039493cc9
doc: Port page header customizations to XSLT
doc/src/sgml/stylesheet.xsl