8.72. Texinfo-7.1

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

Temps de construction approximatif: 0,3 SBU
Espace disque requis: 139 Mo

8.72.1. Installation de Texinfo

Préparez la compilation de Texinfo :

./configure --prefix=/usr

Compilez le paquet :

make

Pour tester les résultats, exécutez :

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

Signification des paramètres 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 est installé plus tard.

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 Makefile de différents paquets, il peut être non synchronisé avec les pages info. Si le fichier /usr/share/info/dir a besoin d'être recréé, les commandes suivantes accompliront cette tâche :

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

8.72.2. Contenu de Texinfo

Programmes installés: info, install-info, makeinfo (lien vers texi2any), pdftexi2dvi, pod2texi, texi2any, texi2dvi, texi2pdf et texindex
Bibliothèque installée: MiscXS.so, Parsetexi.so et XSParagraph.so (le tout dans /usr/lib/texinfo)
Répertoires installés: /usr/share/texinfo et /usr/lib/texinfo

Descriptions courtes

info

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

install-info

Utilisé pour installer les pages 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 : pages info, texte ou HTML

pdftexi2dvi

Utilisé pour formater le document Texinfo indiqué en un fichier PDF (Portable Document Format)

pod2texi

Convertit des documents Pod vers le format Texinfo

texi2any

Traduit des documentations source Texinfo vers différents autres formats

texi2dvi

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

texi2pdf

Utilisé pour formater le document Texinfo indiqué en un fichier PDF (Portable Document Format)

texindex

Utilisé pour trier les fichiers d'index de Texinfo