X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fresolve_topurl.xsl;fp=helm%2Fon-line%2Fxslt%2Fresolve_topurl.xsl;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=6cfe0eda0417efbb802da2454d876cecc0d17728;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl
deleted file mode 100644
index 6cfe0eda0..000000000
--- a/helm/on-line/xslt/resolve_topurl.xsl
+++ /dev/null
@@ -1,28 +0,0 @@
-<?xml version="1.0"?>
-
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:subst="http://www.cs.unibo.it/helm/subst">
-
-<xsl:output
-           method="html" 
-           encoding="ISO-8859-1" 
-           media-type="text/html" />
-
-<xsl:param name="topurl" select="''"/>
-
-<xsl:template match="subst:script">
- <xsl:copy-of select="document(concat($topurl,@src,'_xml'))" />
-</xsl:template>
-
-<xsl:template match="subst:topurl">
- <xsl:value-of select="$topurl"/>
-</xsl:template>
-
-<xsl:template match="/|*">
- <xsl:copy>
-  <xsl:copy-of select="@*"/>
-  <xsl:apply-templates/>
- </xsl:copy>
-</xsl:template>
-
-</xsl:stylesheet>