Re: Info pages opened with an incorrect coding system

[Richard Stallman]

    Richard, is it okay to assume Texinfo 4.6 for the CVS trunk?

To support @documentencoding, when it appears in a .texi file, would
not require anyone to move to Texinfo 4.6.  There is no harm in
supporting it, so let's do so.

The problem is that that may not solve the whole problem.
Even people who use Texinfo 4.6, many years from now,
won't generally write @documentencoding in all their files.

That is why I asked what it is that makes chinese-iso-8bit the default
on his system.