Texinfo-4.7

Le paquet Texinfo contient des programmes de lecture, écriture et de conversion de documents Info.

Temps de construction approximatif: 0,2 SBU
Espace disque requis: 17 Mo
L'installation de Texinfo dépend de: Bash, Binutils, Coreutils, Diffutils, GCC, Gettext, Glibc, Grep, Make, Ncurses et Sed

Installation de Texinfo

Le correctif suivant corrige le fait qu'un programme info s'arrête parfois brutalement après l'appui sur la touche Delete du clavier :

patch -Np1 -i ../texinfo-4.7-segfault-1.patch

Préparez la compilation de Texinfo :

./configure --prefix=/usr

Compilez le paquet :

make

Pour tester les résultats, lancez : make check.

Installez le paquet :

make install

De manière optionnelle, installez les composants appartenant à une installation TeX :

make TEXMF=/usr/share/texmf install-tex

Voici la signification du paramètre de make :

TEXMF=/usr/share/texmf

La variable TEXMF du Makefile contient l'emplacement de la racine de votre répertoire TeX si, par exemple, un paquet TeX sera installé plus tard. later.

Le système de documentation Info utilise un fichier texte pour contenir sa liste des entrées de menu. Le fichier est situé dans /usr/share/info/dir. Malheureusement, à cause de problèmes occasionnels dans les Makefiles de différents paquets, il peut ne pas exécuter l'étape d'installation des manuels Info. Si le fichier /usr/share/info/dir a besoin d'être re-créé, les commandes suivantes accompliront cette tâche :

cd /usr/share/info
rm dir
for f in *
do install-info $f dir 2>/dev/null
done

Contenu de Texinfo

Programmes installés: info, infokey, install-info, makeinfo, texi2dvi et texindex

Descriptions courtes

info

Utilisé pour lire des documents Info similaires aux pages man mais qui vont souvent plus loin que la simple explication des arguments. Par exemple, comparez man bison et info bison.

infokey

Compile un fichier source contenant des personnalisations Info en un format binaire

install-info

Utilisé pour installer les fichiers Info ; il met à jour les entrées dans le fichier index d'Info

makeinfo

Traduit les sources Texinfo données dans différents autres langages : fichiers Info, texte ou HTML

texi2dvi

Utilisé pour formater le document Texinfo indiqué en un fichier indépendant des périphériques, pouvant être édité

texindex

Utilisé pour trier les fichiers d'index de Texinfo