Re: Translating the Emacs manuals (a summary)

[Jean-Christophe Helary]

> On Jan 21, 2024, at 3:01, Patrice Dumas <pertusus@free.fr> wrote:
> 
> 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.

Do you mean that all the manuals that include this directive predate 
Texinfo 6.7 (very likely) and that basically we could remove the 
directive from all the manuals without changing anything (considering 
that they'd be built with texinfo 6.7+)?