From f693539b7719ac1bd8655a5c8800c5112515f147 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 27 Jan 2022 11:05:39 -0800 Subject: doc: use UTF-8 encoding MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * doc/gnulib.texi: Use ‘@documentencoding UTF-8’. Partly this is because there are a few UTF-8 characters in the .texi files and there seems little point nowadays to @U-ifiying them. And partly it is so that the .info output uses nicer UTF-8 characters, e.g., it single-quotes ‘like this’ instead of 'like this'. --- ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 31aa1567fc..075f81124d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,13 @@ 2022-01-27 Paul Eggert + doc: use UTF-8 encoding + * doc/gnulib.texi: Use ‘@documentencoding UTF-8’. + Partly this is because there are a few UTF-8 characters + in the .texi files and there seems little point nowadays + to @U-ifiying them. And partly it is so that the .info + output uses nicer UTF-8 characters, e.g., it single-quotes + ‘like this’ instead of 'like this'. + maint: Update copyright notices * build-aux/announce-gen, build-aux/declared.sh: * build-aux/git-version-gen, build-aux/gitlog-to-changelog: -- cgit v1.2.1