> Date: Fri, 1 Nov 2024 13:19:20 +0100 > From: Patrice Dumas <pertu...@free.fr> > Cc: Werner LEMBERG <w...@gnu.org>, bug-texinfo@gnu.org > > On Fri, Nov 01, 2024 at 02:03:13PM +0200, Eli Zaretskii wrote: > > > Date: Fri, 01 Nov 2024 08:42:50 +0000 (UTC) > > > Cc: bug-texinfo@gnu.org > > > From: Werner LEMBERG <w...@gnu.org> > > > > > > > Shouldn't you use @documentencoding if you include UTF-8 encoded > > > > characters verbatim? (I have no idea if that affects the problem.) > > > > > > UTF-8 is meanwhile the default encoding. > > > > In what version of Texinfo? > > Since 6.7 (23 September 2019).
So we now encourage not to use @documentencoding at all if it's UTF-8? Is that wise?
