10.82.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 sources Texinfo données dans différents autres langages : pages info, texte ou HTML |
|
Script shell qui lance texi2dvi --pdf |
|
Utilisé pour formater le document Texinfo indiqué en un fichier indépendant des périphériques, pouvant être édité |
|
Utilisé pour formater le document Texinfo indiqué en un fichier PDF (Portable Document Format) |
|
Utilisé pour trier les fichiers d'index de Texinfo |