From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 22 Feb 2001 09:52:05 +0000 (+0000)
Subject: commented processing instructions for Cocoon, we do not use it any more
X-Git-Tag: v0_1_2~105
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=269da2552707ba218814a5430383c04ea650ba15;hp=d93b18135c3b086c2cfdf13814dc41a77ceb9954;p=helm.git

commented processing instructions for Cocoon, we do not use it any more
---

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 900dd4bf6..6e66736a3 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -57,7 +57,9 @@
 <!--**********************-->
 
 <xsl:template match="/">
+ <!--
  <xsl:processing-instruction name="cocoon-format">type="text/xhtml"</xsl:processing-instruction>
+ -->
  <xsl:apply-templates select="*"/>
 </xsl:template>
 
diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 8de642f1b..7c7488f16 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -44,9 +44,11 @@
 <xsl:template match="cicxml">
     <xsl:variable name="url"><xsl:value-of select="@baseurl"/></xsl:variable>
     <xsl:variable name="stylesheet"><xsl:value-of select="@stylesheet"/></xsl:variable>
+    <!--
     <xsl:processing-instruction name="cocoon-format">type="text/xml"</xsl:processing-instruction>
     <xsl:processing-instruction name="xml-stylesheet">href="<xsl:value-of select='concat($url,$stylesheet)'/>" type="text/xsl"</xsl:processing-instruction>
     <xsl:processing-instruction name="cocoon-process">type="xslt"</xsl:processing-instruction>
+    -->
     <xsl:apply-templates select="*[1]"/>
 </xsl:template>