]> matita.cs.unibo.it Git - helm.git/commitdiff
.body removed from bread crumb trail
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 14:27:41 +0000 (14:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 14:27:41 +0000 (14:27 +0000)
helm/on-line/xslt/toplevel_header.xsl

index f20862840dab4622aa99ce09351f0d2af783b811..d8fdb2f42b39e55b3ebe5021ec9cdf1284cb7312 100644 (file)
       </xsl:call-template>
     </xsl:when>
     <xsl:otherwise>
-      <xsl:value-of select="$path" />
+     <xsl:variable name="path_before_body" select="substring-before($path,'.body')"/>
+     <xsl:variable name="cleanpath">
+      <xsl:choose>
+       <xsl:when test="$path_before_body = ''">
+        <xsl:value-of select="$path"/>
+       </xsl:when>
+       <xsl:otherwise>
+        <xsl:value-of select="$path_before_body"/>
+       </xsl:otherwise>
+      </xsl:choose>
+     </xsl:variable>
+     <xsl:value-of select="$cleanpath" />
     </xsl:otherwise>
   </xsl:choose>
 </xsl:template>