]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/includes.xsl
daemons tamed
[helm.git] / helm / searchEngine / html / includes.xsl
diff --git a/helm/searchEngine/html/includes.xsl b/helm/searchEngine/html/includes.xsl
deleted file mode 100644 (file)
index bc2497d..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-<?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>