From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 7 May 2001 15:01:39 +0000 (+0000)
Subject: Relative anchors (#xxx) should be followed _inside_ the current document.
X-Git-Tag: v0_1_3~161
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8d36e6731e092257dc4ffe7394d40cb615926fe6;p=helm.git

Relative anchors (#xxx) should be followed _inside_ the current document.
---

diff --git a/helm/style/link.xsl b/helm/style/link.xsl
index c5c31a470..ba22dea12 100644
--- a/helm/style/link.xsl
+++ b/helm/style/link.xsl
@@ -93,6 +93,12 @@ xlink:href) -->
      </xsl:attribute>
      <xsl:attribute name="target">theory</xsl:attribute>
     </xsl:when>
+    <xsl:when test="starts-with(@href,&quot;#&quot;)">
+     <xsl:attribute name="href"><xsl:value-of  select="@href"/></xsl:attribute>
+     <xsl:if test="@target">
+      <xsl:attribute name="target"><xsl:value-of select="@target"/></xsl:attribute>
+     </xsl:if>
+    </xsl:when>
     <xsl:otherwise>
      <xsl:attribute name="href"><xsl:value-of  select="@href"/></xsl:attribute>
      <xsl:attribute name="target">_blank</xsl:attribute>