Je suis en train de construire GNU grep, et quand je lance make, je reçois:Qu'est-ce que makeinfo, et comment l'obtenir?
[snip]
/bin/bash: line 9: makeinfo: command not found
Qu'est-ce makeinfo, et comment puis-je obtenir?
(Ceci est Ubuntu, si cela fait une différence)
Juste une note que pour installer le paquet c'est sudo apt-get install ** texinfo **. Notez que c'est TEXinfo, pas texTinfo que j'ai lu par erreur au début. – ammianus
Juste pour la note - comment se faire une idée sur quel paquet contient l'utilitaire? c'est-à-dire comment connaître texinfo si seulement je connais le nom makeinfo. – egor7
Vous exécutez la commande dans le terminal '$ makeinfo' et Ubuntu vous le dira:' le programme 'makeinfo' n'est actuellement pas installé.Vous pouvez l'installer en tapant: sudo apt-get install texinfo' – Tuminoid