From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 25 Jun 2001 10:03:34 +0000 (+0000)
Subject: Comment removed because XSLT removed the "end-of-line" after it, making it
X-Git-Tag: v0_1_3~139
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c7391fac7b0bef85451cb63d00fdbe0e613bfa11;p=helm.git

Comment removed because XSLT removed the "end-of-line" after it, making it
extends too much, commenting out the following lines. ;-(
---

diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index 98f8fd17a..a7d27e996 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -71,7 +71,6 @@
          '&amp;param.target={$target}' +
          '&amp;param.interfaceURL={$interfaceURL}';
         var pathname = this.pathname;
-        // Next if to cope with IE idiosyncrasies
         if (pathname.charAt(0) != '/')
          pathname = '/' + pathname;
         this.href=