From 8d36e6731e092257dc4ffe7394d40cb615926fe6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 7 May 2001 15:01:39 +0000
Subject: [PATCH] Relative anchors (#xxx) should be followed _inside_ the
 current document.

---
 helm/style/link.xsl | 6 ++++++
 1 file changed, 6 insertions(+)

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>
-- 
2.39.5