<<< Date Index >>>     <<< Thread Index >>>

[PATCH] Fix manual's system identifier



Hi,

I'm just resending the patch to fix the manual's system identifier with [PATCH] in the subject for one of the committers to catch up (as this really should go in). Please see the discussion between Vincent and me somewhere in the 'Patches' thread.

  bye, Rocco
--
:wq!
diff --git a/doc/manual.xml.head b/doc/manual.xml.head
index 84aa399..e6a1e4e 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"
+<?xml version="1.0" encoding="utf-8" standalone="no"?>
+<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
   "http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd";>
 <article>