Re: No sources for lisp/international/uni-*.el?

[Chong Yidong]

Eli Zaretskii <address@hidden> writes:

> Here's the relevant part of output from doschk:
>
>   The following files are not valid DOS file names:
>   admin/charsets/mapfiles/bulgarian-mik.txt.gz - too many dots
>   admin/charsets/mapfiles/cns2ucsdkw.txt.gz - too many dots
>   admin/charsets/mapfiles/CP720.map.gz - too many dots
>   admin/charsets/mapfiles/CP858.map.gz - too many dots
>   admin/charsets/mapfiles/CP932.TXT.gz - too many dots
>   admin/charsets/mapfiles/JISX213A.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-ethiopic.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-ipa.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-is13194.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-lviscii.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-sisheng.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-tibetan.map.gz - too many dots
>   admin/charsets/mapfiles/MULE-uviscii.map.gz - too many dots
>   admin/charsets/mapfiles/stdenc.txt.gz - too many dots
>   admin/charsets/mapfiles/symbol.txt.gz - too many dots

Thanks.  Gunzipping these brings the total for admin/ to "only" 4.3 Mb,
which we can live with.

> Personally, I think that the files in charsets/mapfiles do not need to
> be distributed at all, but that's me.

If UnicodeData.txt is distributed (as OP requested), then those files
ought to be, too.  If we should distribute some of the files in admin/,
then I would rather distribute that entire directory, instead of picking
and choosing.

I'll defer the distribute-or-not question to RMS.