[PATCH] doc: use UTF-8 encoding

[Paul Eggert]

* 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 ++++++++
 doc/gnulib.texi | 1 +
 2 files changed, 9 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 31aa1567fc..075f81124d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,13 @@
 2022-01-27  Paul Eggert  <eggert@cs.ucla.edu>
 
+       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
-- 
2.32.0