Re: replacing ldefs-boot.el

[Eli Zaretskii]

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