doc: Convert ids to upper case at build time

This makes the produced HTML anchors upper case, making it backward
compatible with the previous (9.6) build system.

Reported-by: Thomas Kellerer 

diff --git a/doc/src/sgml/stylesheet-html-common.xsl b/doc/src/sgml/stylesheet-html-common.xsl
index 72fac1e806f7ccf3d0742a5affbd6d63e1a7a325..17b7230d2c1b36c36bd188187482f06071bd76fb 100644 (file)
--- a/doc/src/sgml/stylesheet-html-common.xsl
+++ b/doc/src/sgml/stylesheet-html-common.xsl
@@ -263,4 +263,29 @@ set       toc,title
   
 
 
+
+
+
+
+  
+  
+    
+      
+    
+    
+      
+    
+    
+      
+      
+        id-
+        
+      
+    
+    
+      
+    
+  
+
+