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

[Jérôme Marant]

Lute Kamstra <address@hidden> writes:

> Jérôme Marant <address@hidden> writes:
>
> [...]
>
>> +    Do not remove ldefs-boot.el.
>
> Why?  make-dist distributes loaddefs.el, so there's no need to
> distribute ldefs-boot.el.

I need to make make-dist work on an non-bootstrapped tree. We, at Debian,
don't include .elc files in the tarball and generate packages from
the bootstrap, for practical reasons.

If you remove ldefs-boot.el, make bootstrap fails.

> The rest of the changes look fine to me.  Thanks for working on this.

You're welcome.

>
> PS  I'm going on holidays for a week, so I probably won't respond to
>     mail quickly.

No problem.

-- 
Jérôme Marant