X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;fp=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;h=3479c3038176884dd8a772300c91c1027285e5ec;hb=d5f1d21626a9df44030854abe3b96bb71c6348af;hp=b640b0b0df1715bd28ccaefde0a9eb31218e19a2;hpb=bb7f9a362891d4377011783016b74f0b0b2a5974;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index b640b0b0d..3479c3038 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -118,7 +118,7 @@
 
 <xsl:template name="mk_path">
    <xsl:param name="rpath" select="@uri"/>
-   <xsl:variable name="newrpath" select="substring-after($rpath, '/')"/>
+   <xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
    <xsl:choose>
       <xsl:when test="$newrpath">
          <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>   
@@ -127,7 +127,7 @@
             <xsl:with-param name="name" select="substring-before($segment,'/')"/>
          </xsl:call-template>
 	 <xsl:call-template name="mk_path">
-	    <xsl:with-param name="rpath" select="substring-after($rpath,'/')"/>
+	    <xsl:with-param name="rpath" select="$newrpath"/>
 	 </xsl:call-template>
       </xsl:when>
       <xsl:otherwise>