Re: New encodings in makeinfo

[Sergey Poznyakoff]

Karl Berry <address@hidden> wrote:

> I only wonder, would it be more useful in Ukrainian/etc. to simply allow
> any characters in the filenames?  Or is it most common to stick to
> "ASCII" filenames as you've done?

Well, generally speaking it is possible. However, the majority of people
use ASCII in filenames for a variety of reasons. One of them is that
such filenames are difficult to use in <a href> references, since they
must be encoded using %XX replacements (of course makeinfo can do it,
but such names are difficult to refer to from external pages). Secondly,
they are difficult to use in command line :)

In general, I believe it can be made an option. I can implement it.

> Anyway, I will integrate all this shortly.  Can I ask you to also write
> some minimal change for texinfo.txi to document the new features?

Sure, I'll do it.

Regards,
Sergey