1. ホーム
  2. ubuntu

[解決済み] makeinfoとは何ですか、また、どのように入手できますか?

2022-02-19 20:51:14

質問内容

GNU grepをビルドしようとしているのですが、makeを実行すると、次のようになります。

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

makeinfoとは何ですか、またどのように入手するのですか?

(これはUbuntuです。)

解決方法は?

少なくとも)Ubuntuで bash を入力すると、どのパッケージをインストールする必要があるかを教えてくれます。私の端末では、'texinfo' パッケージをインストールする必要があると表示されました。

sudo apt-get install texinfo