]> matita.cs.unibo.it Git - helm.git/commitdiff
NuPRL stylesheets default encoding changed to UTF8
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 15:48:33 +0000 (15:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 15:48:33 +0000 (15:48 +0000)
helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl
helm/xml/nuprl_stylesheets/nuprl_links_library.xsl

index ef15f1961ab592f13a804062a9e9a558cba2f7ea..8601dfd3423a002e77733b5d2f291839f14f31c4 100644 (file)
@@ -46,7 +46,7 @@
 <!-- HTML Head and Body                                                    -->
 <!--***********************************************************************-->
 
-<!-- <xsl:output method="html" encoding="iso-8859-1"/> -->
+<!-- <xsl:output method="html" encoding="utf8"/> -->
 
 <!-- document needs method="xml" and searches locally for the dtd if        -->
 <!-- doctype-system is specified (the dtd must exist locally for parsing).  -->
 <!--
 <xsl:output 
        method="xml" 
-       encoding="iso-8859-1
+       encoding="utf8
        media-type="text/html"
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN" />
 -->
 <xsl:output 
        method="html" 
-       encoding="iso-8859-1
+       encoding="utf8
        media-type="text/html"
        doctype-public="-//W3C//DTD XHTML 1.0 Transitional//EN" />
 
index 29426a3c37fb5761809d506eed3a3c2eac763d85..2276601237a28db43522e6ea0bda5671715817b2 100644 (file)
@@ -57,8 +57,8 @@
 <xsl:param name="media-type" select="'text/html'"/>
 <xsl:param name="thmedia-type" select="'text/html'"/>
 <xsl:param name="doctype-public" select="'-//W3C//DTD XHTML 1.0 Transitional//EN'"/>
-<xsl:param name="encoding" select="'iso-8859-1'"/>
-<xsl:param name="thencoding" select="'iso-8859-1'"/>
+<xsl:param name="encoding" select="'utf8'"/>
+<xsl:param name="thencoding" select="'utf8'"/>
 
 
 <xsl:template name="quote">