What is makeinfo, and how do I get it?

前端 未结 8 728
独厮守ぢ
独厮守ぢ 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 00:53

    If it doesn't show up in your package manager (i.e. apt-cache search texinfo) and even apt-file search bin/makeinfo is no help, you may have to enable non-free/restricted packages for your package manager.

    For ubuntu, sudo $EDITOR /etc/apt/sources.list and add restricted.

    deb http://archive.ubuntu.com/ubuntu bionic main restricted universe multiverse
    deb http://archive.ubuntu.com/ubuntu bionic-security main
    deb http://archive.ubuntu.com/ubuntu bionic-updates main
    

    For debian, sudo $EDITOR /etc/apt/sources.list and add non-free. You can even have preferences on package level if you don't want to clutter the package db with non-free stuff.

    After a sudo apt-get udpate you should find the required package.

提交回复
热议问题