[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?
- Re: Files from gnulib, (continued)
- Re: Files from gnulib, Stefan Monnier, 2011/01/25
- Re: Files from gnulib, Paul Eggert, 2011/01/25
- Re: Files from gnulib, Eli Zaretskii, 2011/01/25
- Re: Files from gnulib, Paul Eggert, 2011/01/25
- Re: Files from gnulib, Eli Zaretskii, 2011/01/25
- Re: Files from gnulib, Jim Meyering, 2011/01/26
- Re: Files from gnulib, Eli Zaretskii, 2011/01/26
- Re: Files from gnulib, Jim Meyering, 2011/01/26
- Re: Files from gnulib, Lennart Borgman, 2011/01/26
- Re: Files from gnulib, Eli Zaretskii, 2011/01/26
- Re: Files from gnulib,
Eli Zaretskii <=
- Re: Files from gnulib, Jim Meyering, 2011/01/26
- Re: Files from gnulib, Andreas Schwab, 2011/01/26
- Re: Files from gnulib, Eli Zaretskii, 2011/01/26
- Re: Files from gnulib, Andreas Schwab, 2011/01/26
- Re: Files from gnulib, Eli Zaretskii, 2011/01/26
- Re: Files from gnulib, Paul Eggert, 2011/01/27
- Re: Files from gnulib, Eli Zaretskii, 2011/01/27
- Re: Files from gnulib, Paul Eggert, 2011/01/28
- Re: Files from gnulib, Eli Zaretskii, 2011/01/28
- Compartmentalizing the 8.3 problem into the msdos directory, Paul Eggert, 2011/01/31