> Date: Tue, 2 Oct 2001 23:34:19 +0200 > From: Yann Dirson <[EMAIL PROTECTED]> > > 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. _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
