Re: [PATCH] make-dist fixes and clean-ups

[Lute Kamstra]

Richard Stallman <address@hidden> writes:

>     What about the patch below then?  It makes sure that make-dist never
>     distributes ldefs-boot.el (that way, ldefs-boot.el will never be
>     installed either)
>
> Why adopt that as the goal?  What is wrong with distributing
> ldefs-boot.el?  What is wrong with installing ldefs-boot.el?

For installation purposes ldefs-boot.el is redundant.  (In a
distribution tarball it's also exactly the same as loaddefs.el.)  But
that's not really a problem.

> Unless there is some specific reason it must be excluded,
> I would rather include it.  It is not large.

Agreed.  Jérôme Marant pointed out that including ldefs-boot.el allows
a "make maintainer-clean" and then a ".configure" plus "make
bootstrap" on an unpacked distribution tarball.  I think that's a nice
feature.

Lute.