Generated <!DOCTYPE> now refers to version 4.2 of DTD

diff --git a/xsl/profiling/profile.xsl b/xsl/profiling/profile.xsl
index 69f36552f8786e7f9f5c272ba3c24ec9880d4db4..fe1def3554d8cb03dbd0030f1dc6750c2dbf87b7 100644 (file)
--- a/xsl/profiling/profile.xsl
+++ b/xsl/profiling/profile.xsl
@@ -6,8 +6,8 @@
 
 <!-- Generate DocBook instance with correct DOCTYPE -->
 <xsl:output method="xml" 
-            doctype-public="-//OASIS//DTD DocBook XML V4.1.2//EN"
-            doctype-system="http://www.oasis-open.org/docbook/xml/4.0/docbookx.dtd"/>
+            doctype-public="-//OASIS//DTD DocBook XML V4.2//EN"
+            doctype-system="http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd"/>
 
 <!-- Profiling parameters -->
 <xsl:param name="profile.arch" select="''"/>