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

[Eli Zaretskii]

> From: Noam Postavsky <address@hidden>
> Date: Fri, 4 May 2018 22:15:17 -0400
> Cc: Glenn Morris <address@hidden>, Emacs developers <address@hidden>
> 
> 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?

I think it would.  But maybe it will make even more sense to try
building the Info files, and only make the failure to do it non-fatal
with that switch specified, WDYT?  Because tests might at some future
time include the Info files, for example.

Glenn?