Merge branch 'maint-1.7.2' into maint-1.7.3

diff --git a/Documentation/docbook.xsl b/Documentation/docbook.xsl
index 9a6912c641edf52083b8996fdce3a0be2f4dba45..da8b05b92283a37b9552f322bbe31df884a3cae7 100644 (file)
--- a/Documentation/docbook.xsl
+++ b/Documentation/docbook.xsl
@@ -1,5 +1,8 @@
 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                version='1.0'>
  <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/html/docbook.xsl"/>
- <xsl:output method="html" encoding="UTF-8" indent="no" />
+ <xsl:output method="html"
+     encoding="UTF-8" indent="no"
+     doctype-public="-//W3C//DTD HTML 4.01//EN"
+     doctype-system="http://www.w3.org/TR/html4/strict.dtd" />
 </xsl:stylesheet>