Re: Translating the Emacs manuals (a summary)

On Sat, Jan 20, 2024 at 06:08:07PM +0000, Jean-Christophe Helary wrote:
> > On Jan 21, 2024, at 3:01, Patrice Dumas <[email protected]> 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)

Not necessarily, this is needed if processed by older versions.

>  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+)?

Yes.

-- 
Pat