Fix DocBook DTD identifier for XML output.

Thanks to Martin Brown for the correct one.

(cherry picked from commit b730419470061852e63ec0aaf5f2893605b03dde)

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 2b2660e2c891541098e54c8325bf13e30f79d718..94e94fa766eb73f18aa3b24a60b4d3a88f085022 100644 (file)
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -2026,7 +2026,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\"";