]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/lddl_library.xsl
- xslt and Makefile improved, web pages regenerated
[helm.git] / helm / www / lambdadelta / xslt / lddl_library.xsl
index 9eccd5b85f784caaa9d6bbe7272742bdf68fd26c..ccd977990196e7f79a77f9ecabe6695a094939ed 100644 (file)
    </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>
    <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>