Fix DocBook DTD identifier for XML output.

Thanks to Martin Brown for the correct one.

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 3652e7af12eff8927f559c37711f8a4f2b1a5cd8..23d9cba7cc2a2ea9b35206ae5b7b801bca315ff9 100644 (file)
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -2023,7 +2023,7 @@ void Buffer::writeDocBookSource(odocstream & os, string const & fname,
                if (! tclass.class_header().empty())
                        os << from_ascii(tclass.class_header());
                else if (runparams.flavor == OutputParams::XML)
-                       os << "PUBLIC \"-//OASIS//DTD DocBook XML//EN\" "
+                       os << "PUBLIC \"-//OASIS//DTD DocBook XML V4.2//EN\" "
                            << "\"http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd\"";
                else
                        os << " PUBLIC \"-//OASIS//DTD DocBook V4.2//EN\"";