From: Paul Eggert Date: Thu, 27 Jan 2022 19:05:39 +0000 (-0800) Subject: doc: use UTF-8 encoding X-Git-Tag: v1.0~2376 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=f693539b7719ac1bd8655a5c8800c5112515f147;p=gnulib.git 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'. --- 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: diff --git a/doc/gnulib.texi b/doc/gnulib.texi index ef970f9f66..2eb7f07370 100644 --- a/doc/gnulib.texi +++ b/doc/gnulib.texi @@ -2,6 +2,7 @@ @comment %**start of header @setfilename gnulib.info @settitle GNU Gnulib +@documentencoding UTF-8 @c These two require Texinfo 5.0 or later, so we use the older @c equivalent @set variables supported in 4.11 and hence @ignore