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

[Eli Zaretskii]

> From: Glenn Morris <address@hidden>
> Date: Fri, 04 May 2018 11:48:18 -0400
> Cc: Noam Postavsky <address@hidden>
> 
> Noam Postavsky wrote:
> 
> > branch: master
> > commit 7b1026cbf48fa8a3f31497910f696a5ba28476cb
> [...]
> >     * 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?