On 2022-11-12 00:29:45 +0100, Vincent Lefevre wrote:
> Version: 6.7.0.dfsg.2-6
>
> On 2022-11-11 23:57:19 +0100, Hilmar Preuße wrote:
> > Could you re-check with more recent version e.g. texinfo 7.0?
>
> I could check that this is fixed even in Debian 11.5 (current stable),
> e.g. on the old MPFR 2.2.0 info manual.
And this was apparently fixed upstream in Texinfo 6.0 (26 June 2015):
* info:
[...]
. if reading an Info file that is known to be in a different character
encoding to that of the user's environment, convert its contents
when displayed and substitute missing characters
--
Vincent Lefèvre <vinc...@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)
