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.

diff --git a/doc/src/sgml/stylesheet-speedup-xhtml.xsl b/doc/src/sgml/stylesheet-speedup-xhtml.xsl
index 53c811cab021142436b48fc5521f1c6ee609323d..ff08bef808c92924e2befc2a435ad0fdbd5e82f5 100644 (file)
--- a/doc/src/sgml/stylesheet-speedup-xhtml.xsl
+++ b/doc/src/sgml/stylesheet-speedup-xhtml.xsl
@@ -251,4 +251,45 @@
   
 
 
+
+  
+  
+
+  
+
+  
+    
+    
+
+    
+      
+        
+          
+            
+          
+        
+        
+          
+        
+      
+    
+
+    
+      
+        
+          
+            
+          
+        
+        
+          
+        
+      
+    
+
+    
+  
+
+