]> Savannah Git Hosting - gnulib.git/commitdiff
doc: use UTF-8 encoding
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 27 Jan 2022 19:05:39 +0000 (11:05 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 27 Jan 2022 19:06:16 +0000 (11:06 -0800)
* 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
doc/gnulib.texi

index 31aa1567fc4119f43de571759d25d8e0fdb117cb..075f81124d917675b46a7f8207c90f7803936786 100644 (file)
--- 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:
index ef970f9f662c864e043b4b99b51c383c5f4baf5c..2eb7f07370af0f33fb8bfcd04aa2a996e7c7eb6c 100644 (file)
@@ -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