Re: @math{-} does not produce a minus sign in Info

[Vincent Lefevre]

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 <vincent@vinc17.net> - 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)