[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: replacing ldefs-boot.el
From: |
Phillip Lord |
Subject: |
Re: replacing ldefs-boot.el |
Date: |
Fri, 25 Nov 2016 21:34:40 +0000 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
>> Cc: address@hidden
>> From: Paul Eggert <address@hidden>
>> Date: Fri, 25 Nov 2016 10:10:15 -0800
>>
>> Eli Zaretskii wrote:
>> > Not sure what does this
>> > silence mean.
>>
>> We have a long holiday weekend in the U.S., for what that's worth.
>
> And a still longer one after that ;-)
>
>> I haven't reviewed the patch carefully, though I do like the idea of
>> not putting automatically-generated files into the repository.
>
> AFAIU, the suggested method still puts auto-generated files into the
> repository.
My strong suspicion is that, while ldefs-boot-auto.el is generated, it
will need to be regenerated very rarely. Of course, I have little basis
for this suspicion and it's pretty hard to test.
Phil
- Re: replacing ldefs-boot.el, (continued)
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/20
- Re: replacing ldefs-boot.el, Eli Zaretskii, 2016/11/20
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/21
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/25
- Re: replacing ldefs-boot.el, Eli Zaretskii, 2016/11/25
- Re: replacing ldefs-boot.el, Paul Eggert, 2016/11/25
- Re: replacing ldefs-boot.el, Eli Zaretskii, 2016/11/25
- Re: replacing ldefs-boot.el, Stefan Monnier, 2016/11/25
- Re: replacing ldefs-boot.el, Eli Zaretskii, 2016/11/26
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/27
- Re: replacing ldefs-boot.el,
Phillip Lord <=
- Re: replacing ldefs-boot.el, Óscar Fuentes, 2016/11/25
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/27
- Re: replacing ldefs-boot.el, Nicolas Petton, 2016/11/27
- Re: replacing ldefs-boot.el, Noam Postavsky, 2016/11/25
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/25
- Re: replacing ldefs-boot.el, Noam Postavsky, 2016/11/26
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/27
- Re: replacing ldefs-boot.el, Noam Postavsky, 2016/11/27
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/29
- Re: replacing ldefs-boot.el, Phillip Lord, 2016/11/27