]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/xslt/resolve_topurl.xsl
first moogle template checkin
[helm.git] / helm / on-line / xslt / resolve_topurl.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
4                               xmlns:subst="http://www.cs.unibo.it/helm/subst">
5
6 <xsl:output
7            method="html" 
8            encoding="ISO-8859-1" 
9            media-type="text/html" />
10
11 <xsl:param name="topurl" select="''"/>
12
13 <xsl:template match="subst:script">
14  <xsl:copy-of select="document(concat($topurl,@src,'_xml'))" />
15 </xsl:template>
16
17 <xsl:template match="subst:topurl">
18  <xsl:value-of select="$topurl"/>
19 </xsl:template>
20
21 <xsl:template match="/|*">
22  <xsl:copy>
23   <xsl:copy-of select="@*"/>
24   <xsl:apply-templates/>
25  </xsl:copy>
26 </xsl:template>
27
28 </xsl:stylesheet>