X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flink.xsl;h=48bb02b666624de7adceac129959f6b0575518aa;hb=e4ea08104e12e2d9e546f37e2d4fbb4febe75d29;hp=c5c31a470098f4e23165bf5770e9bba8299c78ad;hpb=b205c1fb5ec671d31e051a9a2f0e534b4e393452;p=helm.git

diff --git a/helm/style/link.xsl b/helm/style/link.xsl
index c5c31a470..48bb02b66 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>
@@ -110,4 +116,3 @@ xlink:href) -->
 </xsl:template>
 
 </xsl:stylesheet> 
-