From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 May 2004 14:27:41 +0000 (+0000)
Subject: .body removed from bread crumb trail
X-Git-Tag: pre_subst_in_kernel~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bd9be8f928846221194a42b65628f4cfaa89668b;p=helm.git

.body removed from bread crumb trail
---

diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl
index f20862840..d8fdb2f42 100644
--- a/helm/on-line/xslt/toplevel_header.xsl
+++ b/helm/on-line/xslt/toplevel_header.xsl
@@ -24,7 +24,18 @@
       </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>