[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] doc: use nicer quotes
|
From: |
Pádraig Brady |
|
Subject: |
Re: [PATCH] doc: use nicer quotes |
|
Date: |
Sun, 25 May 2014 16:55:18 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130110 Thunderbird/17.0.2 |
On 05/24/2014 04:43 PM, Paul Eggert wrote:
> * doc/coreutils.texi: Add "@documentencoding UTF-8".
> ---
> doc/coreutils.texi | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/doc/coreutils.texi b/doc/coreutils.texi
> index 592f4a6..a6dd075 100644
> --- a/doc/coreutils.texi
> +++ b/doc/coreutils.texi
> @@ -2,6 +2,7 @@
> @c %**start of header
> @setfilename coreutils.info
> @settitle GNU Coreutils
> +@documentencoding UTF-8
> @allowcodebreaks false
>
> @c %**end of header
I didn't notice any quoting changes in the generated info or pdf file at least.
Though I see 'Ma"r 2002' is now 'Mär 2002' which is an improvement.
UTF-8 should be used where possible these days.
thanks,
Pádraig.