X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_library.xsl;h=ccd977990196e7f79a77f9ecabe6695a094939ed;hb=93c509f03ffa0d622fa76e39addf32966a173147;hp=9eccd5b85f784caaa9d6bbe7272742bdf68fd26c;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/lddl_library.xsl b/helm/www/lambdadelta/xslt/lddl_library.xsl
index 9eccd5b85..ccd977990 100644
--- a/helm/www/lambdadelta/xslt/lddl_library.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_library.xsl
@@ -144,9 +144,14 @@
    </a>
 </xsl:template>
 
+<xsl:template name="lddlbaseurl">
+   <xsl:value-of select="$baseurl"/>
+   <xsl:value-of select="'static/lddl'"/>
+</xsl:template>
+
 <xsl:template name="uri">
    <xsl:variable name="url">
-      <xsl:value-of select="$baseurl"/>
+      <xsl:call-template name="lddlbaseurl">
       <xsl:value-of select="substring-after(@uri,'ld:')"/>
       <xsl:text>.html</xsl:text>
    </xsl:variable>
@@ -249,7 +254,7 @@
    <xsl:param name="path"/>
    <xsl:param name="name"/>
    <xsl:variable name="url">
-      <xsl:value-of select="$baseurl"/>
+      <xsl:call-template name="lddlbaseurl">
       <xsl:value-of select="substring-after($path,'ld:')"/>
    </xsl:variable>
    <a href="{$url}"><xsl:value-of select="$name"/></a>