Set system ID to docbook 4.2, in harmony with schema URL.

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 84aa399a4728350a3f53ef7347d65bba9a6abaf2..bcdd51825491bdd6d6629b835ae0530b32ebc336 100644 (file)
--- a/doc/manual.xml.head
+++ b/doc/manual.xml.head
@@ -1,5 +1,5 @@
 <?xml version="1.0" standalone="no"?>
-<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
+<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
   "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd">
 <article>