]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/params.xsl
...
[helm.git] / helm / style / params.xsl
index 6e7f98545509620df3e99d1b9a4dfc7f9ceb5fca..b5b7f9b88ee7357497be3ec9d189cc76bf11245e 100644 (file)
      <xsl:choose>
       <xsl:when test="$offset > 0">
        <xsl:variable name="params"> 
+        <xsl:variable name="second_url"><xsl:call-template name="URLofURI4getter"><xsl:with-param name="uri" select="$second_uri"/></xsl:call-template></xsl:variable>
         <xsl:value-of 
-            select="document(concat(string($absPath),$second_uri))/*/@params"/>
+            select="document($second_url)/*/@params"/>
        </xsl:variable>
        <xsl:variable name="minimum">
         <xsl:call-template name="min">