projects / users / rhaas / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e36ddab) | patch
doc: Further XSLT HTML build performance optimization
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 16 Nov 2016 20:00:00 +0000 (12:00 -0800)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 16 Nov 2016 19:53:35 +0000 (11:53 -0800)
commit380895f2deb18ed9e7a8be69961af2ed221ba9d3
tree3dacafe081926b70176b517eb1698fc709f39145tree
parente36ddab11735052841b4eff96642187ec9a8a7bccommit | diff
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 diff | blob | blame | history
Robert Haas's development tree.