]> matita.cs.unibo.it Git - helm.git/commitdiff
Relative anchors (#xxx) should be followed _inside_ the current document.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 May 2001 15:01:39 +0000 (15:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 May 2001 15:01:39 +0000 (15:01 +0000)
helm/style/link.xsl

index c5c31a470098f4e23165bf5770e9bba8299c78ad..ba22dea1225fe75d7c735a0e34980645e013abec 100644 (file)
@@ -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>