Re: Translating the Emacs manuals (a summary)

Not necessarily very important, but UTF-8 is the default input encoding
since Texinfo 6.7 (23 September 2019), depending on the Texinfo minimal
version you target, you could remove the "@documentencoding UTF-8",
and/or change the wording of the recommendation.

On Fri, Jan 19, 2024 at 06:00:34PM +0000, Jean-Christophe Helary wrote:
> - ’@documentencoding UTF-8’ is automatically included in the file since it is in ’doc/emacs/docstyle.texi’. Do not add it to your file headers.


-- 
Pat