Re: master 7b1026c: * make-dist: Don't fail if building --without-makeinfo.

[Noam Postavsky]

On 4 May 2018 at 13:36, Eli Zaretskii <address@hidden> wrote:

>> >     * make-dist: Don't fail if building --without-makeinfo.
>>
>> I'm not sure that make-dist should allow the creation of tarfiles
>> without the info files. Almost certainly not by default, anyway.
>
> I tend to agree.
>
> Noam, what was the rationale for this change?

I have the automated tests setup to on my gitlab fork relying on
make-dist. Up until its recent changes [1: 83a6224d60], it succeeded
even though the info files weren't built.

So would adding a --no-info argument (as in the attached) be okay?

[1: 83a6224d60]: 2018-04-09 13:35:15 -0700
  make-dist: check exit statuses more carefully
  
https://git.savannah.gnu.org/cgit/emacs.git/commit/?id=83a6224d607c645cadbe371c921928166da0aef0

0001-make-dist-Add-no-info-option.patch
Description: Text Data