Re: Info pages opened with an incorrect coding system

[Richard Stallman]

    The default coding system is determined by Locale settings, that is
    `LC_ALL', `LC_CTYPE', or `LANG'.

Thanks.

I rechecked the first message and saw that the problem only affects a
few Info files that use non-ASCII characters.  Maybe changing those
manuals to use @documentencoding is the right fix.

On the other hand, we might also want to fix a coding system
for Info files, so that their handling will not depend on the locale.
Handa and Karl, what do you think?