J'essaie de construire GNU grep, et quand je lance make, j'obtiens:
[snip]
/bin/bash: line 9: makeinfo: command not found
Qu'est-ce que makeinfo et comment l'obtenir?
(Ceci est Ubuntu, si cela fait une différence)
apt search makeinfo
# (ou yum search makeinfo
)
apt-file search bin/makeinfo