Re: ^M in the info files

[Stefan Monnier]

>> > But maybe in this case we should force some safe coding like `undecided'
>> > (as it seems to use now for pure ASCII Info files without null-bytes)?
>> No, I think it should use `us-ascii' instead.

> That is almost certainly a bad idea: no need to punish users who have
> non-ASCII Info files without a proper `coding' tag.

How common is that?

>> What happens if your TeXinfo file specifies a latin-1 encoding and your
>> date is output in utf-8 because of your locale, then?
> You get a garbled file.

Good, so we don't need to worry about this case since it's broken anyway.

> Btw, the official name of the project is Texinfo, not TeXinfo.

Yes, sorry, I actually know it, but old habits die hard,


        Stefan