]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xml/nuprl_stylesheets/nuprl_content_to_html2.xsl
NuPRL stylesheets default encoding changed to UTF8
[helm.git] / helm / xml / nuprl_stylesheets / nuprl_content_to_html2.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" />