From 6feb69f6cef8b1bd2829700e25e402f22e86f3bd Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 4 Nov 2016 12:00:00 -0400 Subject: [PATCH] doc: Port page header customizations to XSLT --- doc/src/sgml/stylesheet.xsl | 138 ++++++++++++++++++++++++++++++++++++ 1 file changed, 138 insertions(+) diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index 39c9df28ad..42e8cce368 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -246,4 +246,142 @@ set toc,title + + + + + + + + + + + + + + + + + + -- 2.40.0