[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Files from gnulib

From: Eli Zaretskii
Subject: Re: Files from gnulib
Date: Wed, 26 Jan 2011 08:37:24 -0500

> 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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]