Made jref2refsect1 stylesheet convert all @id instances to @xml:id

diff --git a/xsl/tools/xsl/build/jref2refsect1.xsl b/xsl/tools/xsl/build/jref2refsect1.xsl
index 837009da9dd28fcbaf696ed0ad713c90af161d4b..8c4b8be6009cf72f7a0458c90db4b210c7fa293c 100644 (file)
--- a/xsl/tools/xsl/build/jref2refsect1.xsl
+++ b/xsl/tools/xsl/build/jref2refsect1.xsl
@@ -30,6 +30,12 @@
   </xsl:copy>
 </xsl:template>
 
+<xsl:template match="@id">
+  <xsl:attribute name="xml:id">
+    <xsl:value-of select="."/>
+  </xsl:attribute>
+</xsl:template>
+
 <xsl:template match="refdescription">
   <refsect1>
     <title></title>