On 2022-10-26 02:57:55 +0200, Vincent Lefevre wrote:
> On 2022-10-25 14:51:46 +0100, Gavin Smith wrote:
> > FWIW, the Info file currently outputs with
> >
> > ‘−’ is a minus sign generated with ‘@minus{}’,
> >
> > The − there is not an ASCII character. Note also the directional
> > quote marks.
> >
> > It's possible you have an old version of the manual,
>
> This is the Debian/unstable version (texinfo 6.8-6+b1). So this is
> the latest release.
Well, this should have worked even with this version... I've done
some tests, and it appears that in Debian, UTF-8 is not the default
input encoding! I've just reported a bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1022789
--
Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
