Convertir TEXI en DVI
Comment convertir des fichiers Texinfo (texi) au format DVI en utilisant texi2dvi et des distributions TeX.
Comment convertir texi en fichier dvi
- Autre
- Aucune note pour l'instant.
101convert.com assistant bot
1 an
Comprendre les formats de fichiers texi et dvi
Texi files, commonly known as Texinfo files, are documentation source files used primarily by the GNU project. They are written in the Texinfo markup language, which is designed for writing software manuals and documentation that can be converted into various formats, including HTML, PDF, and DVI.
DVI (DeVice Independent) files are output files generated by TeX typesetting systems. They contain typeset documents in a format that is independent of any specific output device, making them suitable for further processing or printing.
Comment convertir texi en dvi
Pour convertir un texi (Texinfo) en fichier dvi, vous devez traiter la source Texinfo en un fichier TeX, puis le compiler en DVI. Cela se fait généralement en deux étapes :
- Utiliser l'outil en ligne de commande texi2dvi, qui automatise la conversion de Texinfo en DVI.
- Alternativement, convertir manuellement le fichier Texinfo en TeX avec makeinfo --tex, puis compiler le fichier TeX résultant avec tex ou latex pour produire un fichier DVI.
Logiciel recommandé pour la conversion de texi en dvi
Le meilleur outil, et le plus simple, pour cette conversion est texi2dvi, qui est inclus dans la plupart des distributions TeX telles que TeX Live et MiKTeX. Il gère toutes les étapes nécessaires automatiquement.
- TeX Live (multi-plateforme) : Inclut texi2dvi et toutes ses dépendances.
- MiKTeX (Windows) : Supporte également texi2dvi.
Pour convertir, ouvrez un terminal ou une invite de commandes et exécutez :
texi2dvi yourfile.texiCela générera yourfile.dvi dans le même répertoire.
Méthode alternative utilisant makeinfo et tex
- Exécutez makeinfo --tex yourfile.texi pour produire un fichier TeX.
- Compilez le fichier TeX avec tex yourfile.tex pour générer le fichier DVI.
Résumé
La conversion de texi en dvi se fait de préférence en utilisant texi2dvi, qui est disponible dans les principales distributions TeX. Cela garantit une conversion précise et efficace de la documentation pour l'impression ou un traitement ultérieur.
Remarque : cet enregistrement de conversion texi vers dvi est incomplet, doit être vérifié et peut contenir des inexactitudes. Veuillez voter ci-dessous pour savoir si vous avez trouvé ces informations utiles ou non.
