What is makeinfo, and how do I get it?

前端 未结 8 548
独厮守ぢ
独厮守ぢ 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:10

    For Centos , I solve it by installing these packages.

    yum install texi2html texinfo 
    

    Dont worry if there is no entry for makeinfo. Just run

    make all
    

    You can do it similarly for ubuntu using sudo.

提交回复
热议问题