Texinfo-4.7

Temps de construction approximatif :  0,2 SBU
Espace disque requis :                17 Mo

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 :

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 vous avez besoin de re-créer le fichier /usr/share/info/dir, 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

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

info est utilisé pour lire les documents Info. Les documents Info ressemblent aux pages man mais vont souvent plus loin que la simple explication des arguments. Comparez par exemple la page man et info de tar.

infokey compile un fichier source contenant des personnalisations Info en un format binaire.

install-info est 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 est utilisé pour formatter le document Texinfo indiqué en un fichier indépendant des périphériques, pouvant être édité.

texindex est utilisé pour trier les fichiers d'index de Texinfo.