Re: Files from gnulib

[Paul Eggert]

On 01/25/11 14:15, Stefan Monnier wrote:
> In the mean time, please rename the files, thank you,

I'm afraid it's not as simple as merely renaming the files.
One must also change the contents of all files referring to
the renamed files, and change Makefile.in so that when
fresh copies are imported from gnulib, the files' names
and contents are consistently renamed.  And in the end,
one will end up with files that differ from gnulib,
which will make it a bit harder to port patches from Emacs
back to gnulib.

I'd like to pursue the idea of renaming the files only
on the MS-DOS platform.  This approach shouldn't take
that much work now, and it should save time in the future
(including lessening the need to discuss 8+3 issues on
this mailing list :-).