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.