Re: address@hidden: Bug#113988: makeinfo: locale settings should not influence output files]

[Eli Zaretskii]

> Date: Tue, 2 Oct 2001 23:34:19 +0200
> From: Yann Dirson <address@hidden>
> 
> I already had to explain this in more details to allow checking
> whether a debian package has been hit by this problem.  You'll find it
> at http://bugs.debian.org/113991
> 
> Please ask if you need more info

Thanks for the pointer.

So what do you suggest that makeinfo should do instead?  Using the
document language instead of the locale language is AFAIK tricky: you
still want the warning and error messages to be printed in locale's
language, right?

Are you saying that makeinfo should ignore LANG completely?  That
would be against what most users expect, I think; many, if not most,
results of running makeinfo are used locally.