On 3/17/11, Leo Butler <l.butler at ed.ac.uk> wrote:
> What is the encoding supposed to be for the info files
> in de, es, etc.?
>
> I.e., in de is it always de_DE.ISO-8859-1 or does the
> encoding depend on the user's locale (e.g. if my locale
> a UTF-8 locale, should the encoding be UTF-8 when I
> build the info files in de?).
>From what I can tell, by default makeinfo generates ISO-8859-1 in any locale,
or (with makeinfo >= 4.13) UTF-8 if that's specified on the command line.
So the output is insensitive to the environment --
I think that is just how it should be. The build environment
has to generate info files for all targets.
best,
Robert Dodier