X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_library.xsl;h=ccd977990196e7f79a77f9ecabe6695a094939ed;hb=47293eadb6240cdfa50cc9571aeddcc85b229b51;hp=e69468a9d4cdd6385a75dd669eb8cb928b85f8fa;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/lddl_library.xsl b/helm/www/lambdadelta/xslt/lddl_library.xsl
index e69468a9d..ccd977990 100644
--- a/helm/www/lambdadelta/xslt/lddl_library.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_library.xsl
@@ -12,7 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                              xmlns:ld="http://lambdadelta.info"
+                              xmlns:ld="http://lambdadelta.info/"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 
@@ -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>