On Sat, Jan 20, 2024 at 06:08:07PM +0000, Jean-Christophe Helary wrote: > > 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)
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
