Philipp Stephani <p.stephani2@gmail.com> schrieb am Di., 2. Jan. 2018 um
20:48 Uhr:

>
>
> Alan Third <alan@idiocy.org> schrieb am Mo., 1. Jan. 2018 um 16:48 Uhr:
>
>> Patch attached.
>>
>>
> Thanks. Maybe just do 'test -x /.../makeinfo' to test for the file
> directly?
>

Also, please quote the variable substitution ("${MAKEINFO}"). OTOH, there's
no need to quote the literal filename.