Convertir DVI en TEXI

Comprendre les formats de fichiers DVI et TEXI

DVI (DeVice Independent) est un format de fichier généré par le logiciel de composition TeX. Il contient des instructions sur la mise en page d’un document, mais n’inclut pas les polices ou images réelles. Les fichiers DVI sont principalement utilisés pour visualiser ou imprimer des documents créés avec TeX ou LaTeX.

TEXI (ou .texi) files sont des fichiers source pour GNU Texinfo, un système de documentation qui produit à la fois des manuels en ligne et imprimés. Les fichiers Texinfo sont écrits dans un langage de balisage similaire à TeX, mais sont spécifiquement conçus pour créer une documentation logiciel.

Pourquoi convertir DVI en TEXI ?

Convertir un fichier DVI en fichier TEXI n’est pas une démarche courante, car DVI est un format de sortie et TEXI est un format source. Cependant, vous pourriez avoir besoin de réaliser cette conversion si vous souhaitez récupérer ou réutiliser le contenu d’un document DVI pour l’utiliser dans la documentation Texinfo.

Comment convertir DVI en TEXI

Il n’existe pas d’outil direct et automatisé qui convertit les fichiers DVI en format TEXI, puisque les fichiers DVI ne conservent pas le balisage ou la structure d’origine du fichier source. Le processus consiste généralement en deux étapes :

1. Extraire le texte du fichier DVI : Utilisez un outil comme dvitype ou dvi2tty pour extraire le texte brut du fichier DVI.
2. Reconstruire manuellement le fichier TEXI : Utilisez le texte extrait comme base et ajoutez manuellement le balisage Texinfo pour créer un fichier TEXI valide.

Ce processus est principalement manuel et peut nécessiter des modifications importantes, notamment pour des documents complexes.

Logiciels recommandés pour la conversion DVI en TEXI

• dvitype : Un utilitaire inclus dans la plupart des distributions TeX qui convertit les fichiers DVI en un format texte lisible.
• dvi2tty : Convertit les fichiers DVI en texte ASCII brut, que vous pouvez ensuite éditer et baliser en TEXI.
• GNU Emacs ou Vim : Éditeurs de texte utiles pour modifier manuellement le texte extrait et ajouter le balisage Texinfo.

Procédé de conversion étape par étape

1. Ouvrez un terminal et exécutez dvitype yourfile.dvi > output.txt ou dvi2tty yourfile.dvi > output.txt.
2. Ouvrez output.txt dans votre éditeur de texte préféré.
3. Ajoutez manuellement les commandes et la structure Texinfo pour créer un fichier TEXI valide.
4. Enregistrez le fichier avec une extension .texi.

Conclusion

Bien qu’il n’existe pas de méthode directe et automatisée pour convertir les fichiers DVI en TEXI, vous pouvez extraire le texte et reconstruire manuellement la source Texinfo. dvitype et dvi2tty sont les meilleurs outils pour extraire le texte des fichiers DVI, et un bon éditeur de texte vous aidera à ajouter le balisage Texinfo nécessaire.