Sto cercando di creare GNU grep e quando eseguo make, ottengo:
[snip]
/bin/bash: line 9: makeinfo: command not found
Che cos'è makeinfo e come posso ottenerlo?
(Questo è Ubuntu, se fa la differenza)
apt search makeinfo
# (o yum search makeinfo
)
apt-file search bin/makeinfo