From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 18 Nov 2002 09:54:00 +0000 (+0000)
Subject: URLs_or_URIs param added to choose if the xlink:href should be an URL (i.e.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=130d534f97ed4701010dc41665fa0627ac69f983;p=helm.git

URLs_or_URIs param added to choose if the xlink:href should be an URL (i.e.
a request to UWOBO to ...) or simply an URI (i.e. cic:/...).
---

diff --git a/helm/style/link.xsl b/helm/style/link.xsl
index e3568a18f..e6d639a3b 100644
--- a/helm/style/link.xsl
+++ b/helm/style/link.xsl
@@ -39,6 +39,8 @@
 
 <xsl:key name="id" use="@id" match="m:*"/>
 
+<xsl:param name="URLs_or_URIs" select="'URLs'"/>
+
 <xsl:template match = "m:semantics">
    <xsl:apply-templates select="*[1]" mode="semantics"/>
 </xsl:template>
@@ -52,7 +54,14 @@ xlink:href) -->
     <xsl:variable name="cnode" select="key('id',@xref)"/>
     <xsl:if test="$cnode/@definitionURL"> 
      <xsl:attribute name="xlink:href">
-      <xsl:call-template name="makeURL"><xsl:with-param name="uri" select="$cnode/@definitionURL"/></xsl:call-template>
+      <xsl:choose>
+       <xsl:when test="$URLs_or_URIs = 'URLs'">
+        <xsl:call-template name="makeURL"><xsl:with-param name="uri" select="$cnode/@definitionURL"/></xsl:call-template>
+       </xsl:when>
+       <xsl:otherwise>
+        <xsl:value-of select="$cnode/@definitionURL"/> 
+       </xsl:otherwise>
+      </xsl:choose>
      </xsl:attribute>
     <!-- xlink:show='other' requires the exact modality to be -->
     <!-- specified in non-xlink markup. The point is that the -->