Re: [PATCH] Fix manual's system identifier

[Brendan Cully <brendan@xxxxxxxxxx>]

I've made the 4.2 switch, but didn't adjust the encoding. I'd prefer
to keep the sources 7-bit unless there's a good reason to switch.

On Friday, 05 May 2006 at 09:49, Rocco Rutte wrote:
> 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

> diff --git a/doc/manual.xml.head b/doc/manual.xml.head
> index 84aa399..e6a1e4e 100644
> +++ 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>
>  
>