From 20ad871c58ea22eb281e7b4e7906690d357a33be Mon Sep 17 00:00:00 2001
From: Rocco Rutte <pdmef@gmx.net>
Date: Fri, 5 May 2006 17:27:10 +0000
Subject: [PATCH] Set system ID to docbook 4.2, in harmony with schema URL.

---
 doc/manual.xml.head | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 84aa399a..bcdd5182 100644
--- 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>
 
-- 
2.40.0