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