Re: problem with --enable-encoding

[Karl Berry]

    Maybe a short remark for the @document* commands can be added --
    there are probably more people who forget that.

I have various notes in various places about it.  Yes, it is a common
mistake.  Probably makeinfo should give a warning if it sees any
commands there, I'm not sure.

    After some thinking I believe that it actually makes sense to have
    the @document* commands before @setfilename:

Oh, there's no ultimate logical reason why @setfilename has to come
first, but changing it would be very difficult to implement (in
texinfo.tex especially).  So it's not going to happen, sorry.

I don't see that it's necessary, either.  You should be able to give any
byte values you want in @setfilename, if you're so inclined.