]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-library.xsl
better static html pages, now they are generted in the install location
[helm.git] / helm / software / lambda-delta / xml / ld-html-library.xsl
index b640b0b0df1715bd28ccaefde0a9eb31218e19a2..3479c3038176884dd8a772300c91c1027285e5ec 100644 (file)
 
 <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)"/>   
             <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>