On 4 May 2018 at 13:36, Eli Zaretskii <eliz@gnu.org> 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