Kludge to replace xml:id with id so that we can build the docs

without xsltproc squawking about duplicate IDs.

diff --git a/xsl/tools/xsl/build/xmlid-to-id.xsl b/xsl/tools/xsl/build/xmlid-to-id.xsl
new file mode 100644 (file)
index 0000000..543b73c
--- /dev/null
+++ b/xsl/tools/xsl/build/xmlid-to-id.xsl
@@ -0,0 +1,20 @@
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+  version='1.0'
+  xmlns:fo="http://www.w3.org/1999/XSL/Format"
+  xmlns:saxon="http://icl.com/saxon"
+  exclude-result-prefixes="fo"
+  >
+  <xsl:import href="./identity.xsl"/>
+
+  <xsl:output method="xml"
+    encoding="ASCII"
+    saxon:character-representation="decimal"
+    indent="no"/>
+
+  <xsl:template match="@xml:id">
+    <xsl:attribute name="id">
+      <xsl:value-of select="."/>
+    </xsl:attribute>
+  </xsl:template>
+
+</xsl:stylesheet>