From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 23 Jul 2001 12:01:43 +0000 (+0000)
Subject: Fixed a problem of Netscape with 'file:///' URL.
X-Git-Tag: v0_1_3~105
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bbe30d38c61689b57bbfc6ac39038b6a6a2be453;p=helm.git

Fixed a problem of Netscape with 'file:///' URL.
Now the stylesheets are copied inside every HTML file instead of
creating a <link/> to them.
---

diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl
index fbd9d44a0..6cfe0eda0 100644
--- a/helm/on-line/xslt/resolve_topurl.xsl
+++ b/helm/on-line/xslt/resolve_topurl.xsl
@@ -11,7 +11,7 @@
 <xsl:param name="topurl" select="''"/>
 
 <xsl:template match="subst:script">
- <script language="{@language}" src="{concat($topurl,@src)}"></script>
+ <xsl:copy-of select="document(concat($topurl,@src,'_xml'))" />
 </xsl:template>
 
 <xsl:template match="subst:topurl">