As instruções para instalar o GNU Texinfo do site GNU Texinfo funcionaram para mim no Ubuntu 14.04:
-
Remova o texinfo atual via apt-get (não tenho certeza se isso é necessário, mas fiz isso apenas para garantir).
-
Faça o download da fonte texinfo:
wget http://ftp.gnu.org/gnu/texinfo/texinfo-4.13.tar.gz
-
Extraia os arquivos de origem:
gzip -dc < texinfo-4.13.tar.gz | tar -xf - cd texinfo-4.13
-
Configure, construa e instale:
./configure make sudo make install
No meu computador eu também tive que instalar o libncurses antes que eu pudesse construir o texinfo com sucesso.