From 380895f2deb18ed9e7a8be69961af2ed221ba9d3 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 16 Nov 2016 12:00:00 -0800 Subject: [PATCH] doc: Further XSLT HTML build performance optimization Cut out some expensive stuff from the HTML head element that we don't really need. This was previously discussed as part of e8306745e3504c642f7abad411139d5630e29fac, but ended up separate because it changes the output contents slightly. --- doc/src/sgml/stylesheet-speedup-xhtml.xsl | 41 +++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/doc/src/sgml/stylesheet-speedup-xhtml.xsl b/doc/src/sgml/stylesheet-speedup-xhtml.xsl index 53c811cab0..ff08bef808 100644 --- a/doc/src/sgml/stylesheet-speedup-xhtml.xsl +++ b/doc/src/sgml/stylesheet-speedup-xhtml.xsl @@ -251,4 +251,45 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +