Re: Files from gnulib

[Eli Zaretskii]

> From: Jim Meyering <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden,  address@hidden,  
> address@hidden
> Date: Wed, 26 Jan 2011 14:23:51 +0100
> 
> There would be a rule (always run at least by "make dist") that would
> update config.bat.  You could conceivably just run that rule, which
> would surely be very quick.  You would not have to run the full "make dist".

You cannot run "make ANYTHING" before config.bat, because the latter
edits Makefile.in files into Makefile files.

> You're presuming that people will be adding new files with conflicting
> name, but without updating the renaming rules required for DOS.
> That's where the automation comes in.

You cannot maintain the DB or renaming automatically, unless you are
willing to settle for meaningless file names.

> That would make it the responsibility of each person adding a new
> conflicting file to tend to this small infrequent task, not you.

People don't care about this now (and I cannot and don't blame them).
Why would they care more under this new scheme?