本文作者注:降级安装texinfo之前,如果之前已经安装过其它版本,最好先将现有版本texinfo卸载掉,否则直接安装可能会有fail。 查看现有版本:
$ makeinfo --version
卸载现有版本:
$ sudo apt remove texinfo
原文:http://see.sl088.com/wiki/Shell_texinfo/%E9%99%8D%E7%BA%A7%E5%88%B04.13
wget http://ftp.gnu.org/gnu/texinfo/texinfo-4.13a.tar.gz
tar -zxvf texinfo-4.13a.tar.gz
cd texinfo-4.13
./configure
make
sudo make install
Ok, as it turns out the easiest solution seems to be to manually downgrade texinfo to 4.13. Make sure that you've removed the current (5.0+) version before continuing.
wget http://ftp.gnu.org/gnu/texinfo/texinfo-4.13a.tar.gz
tar -zxvf texinfo-4.13a.tar.gz
cd texinfo-4.13
./configure
make
sudo make install
makeinfo --help
The last command should mention the version. Make sure it's 4.13. Next install PropGCC normally.