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

[Eli Zaretskii]

> From: Noam Postavsky <address@hidden>
> Date: Sat, 5 May 2018 10:47:41 -0400
> Cc: Eli Zaretskii <address@hidden>, Glenn Morris <address@hidden>, Emacs 
> developers <address@hidden>
> 
> > If --no-info is given, please also change make-dist so that it does not
> > invoke 'make --question info' or 'make info'.
> 
> I think Eli is suggesting the opposite

Yes.  I think it makes more sense to try and then go ahead if
production of Info files fails.  It's not a strong opinion, though.