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

[Noam Postavsky]

On 5 May 2018 at 02:53, Paul Eggert <address@hidden> wrote:
> Eli Zaretskii wrote:
>>>
>>> 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?
>
> Unless you specify --no-update, make-dist already tries to build the info
> files. If that fails make-dist goes ahead anyway; perhaps it shouldn't.

For the automated testing builds, I pass '--tests --no-update
--no-changelog' to make-dist.
So the failure I want to avoid is just the part where the info files
get hard-linked into the dist directory (because the test env comes
without makeinfo).