10.125.2. Contenu de Texinfo
Descriptions courtes
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. |
|
Compile un fichier source contenant des personnalisations Info en un format binaire |
|
Utilisé pour installer les pages info ; il met à jour les entrées dans le fichier index d'info |
|
Traduit les documents sources Texinfo données en pages info, texte ou HTML |
|
Script shell qui lance texi2dvi --pdf |
|
Utilisé pour formater le document Texinfo donné en un fichier indépendant des périphériques qui peut être imprimé |
|
Utilisé pour formater le document Texinfo indiqué en un fichier PDF |
|
Utilisé pour trier les fichiers d'index de Texinfo |