> On Jan 21, 2024, at 3:01, Patrice Dumas <pertu...@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+)?
