Ich versuche, GNU grep zu erstellen, und wenn ich make starte, bekomme ich:
[snip]
/bin/bash: line 9: makeinfo: command not found
Was ist makeinfo und wie bekomme ich es?
(Dies ist Ubuntu, wenn es einen Unterschied macht)
apt search makeinfo
# (oder yum search makeinfo
)
apt-file search bin/makeinfo