What is makeinfo, and how do I get it?

前端 未结 8 528
独厮守ぢ
独厮守ぢ 2021-01-30 00:46

I\'m trying to build GNU grep, and when I run make, I get:

[snip]
/bin/bash: line 9: makeinfo: command not found

What is makeinfo, and how do I

8条回答
  •  再見小時候
    2021-01-30 01:03

    Another option is to use apt-file (i.e. apt-file search makeinfo). It may or may not be installed in your distro by default, but it is a great tool for determining what package a file belongs to.

提交回复
热议问题