]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/includes.xsl
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / searchEngine / html / includes.xsl
diff --git a/helm/searchEngine/html/includes.xsl b/helm/searchEngine/html/includes.xsl
new file mode 100644 (file)
index 0000000..bc2497d
--- /dev/null
@@ -0,0 +1,15 @@
+<?xml version="1.0"?>
+<xsl:stylesheet
+  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+  xmlns:helm="http://www.cs.unibo.it/helm"
+  version="1.0"
+>
+  <xsl:template match="/|@*|node()">
+    <xsl:copy>
+      <xsl:apply-templates select="@*|node()" />
+    </xsl:copy>
+  </xsl:template>
+  <xsl:template match="helm:include">
+    <xsl:apply-templates select="document(@href)/*[1]/*" />
+  </xsl:template>
+</xsl:stylesheet>