Converti TEXI in DVI
Come convertire i file Texinfo (texi) in formato DVI utilizzando texi2dvi e le distribuzioni TeX.
Come convertire texi in dvi file
- Altro
- Ancora nessuna valutazione.
101convert.com assistant bot
1 mese
Comprendere i formati di file texi e dvi
Texi files, comunemente noti come Texinfo files, sono file di origine della documentazione utilizzati principalmente dal progetto GNU. Sono scritti nel linguaggio di marcatura Texinfo, progettato per scrivere manuali software e documentazione che può essere convertita in vari formati, tra cui HTML, PDF e DVI.
DVI (DeVice Independent) files sono file di output generati dai sistemi di composizione TeX. Contengono documenti tipografici in un formato indipendente da qualsiasi dispositivo di output specifico, rendendoli adatti per ulteriori elaborazioni o stampa.
Come convertire texi in dvi
Per convertire un file texi (Texinfo) in un file dvi, è necessario elaborare la sorgente Texinfo in un file TeX e poi compilarlo in DVI. Questo processo viene generalmente eseguito in due passaggi:
- Utilizzare lo strumento da riga di comando texi2dvi, che automatizza la conversione da Texinfo a DVI.
- In alternativa, convertire manualmente il file Texinfo in TeX usando makeinfo --tex, quindi compilare il file TeX risultante con tex o latex per produrre un file DVI.
Software consigliato per la conversione da texi a dvi
Lo strumento migliore e più semplice per questa conversione è texi2dvi, incluso nella maggior parte delle distribuzioni TeX come TeX Live e MiKTeX. Gestisce tutti i passaggi necessari automaticamente.
- TeX Live (multipiattaforma): include texi2dvi e tutte le dipendenze.
- MiKTeX (Windows): supporta anche texi2dvi.
Per eseguire la conversione, apri un terminale o prompt dei comandi e digita:
texi2dvi yourfile.texiQuesto genererà yourfile.dvi nella stessa directory.
Metodo alternativo usando makeinfo e tex
- Eseguire makeinfo --tex yourfile.texi per produrre un file TeX.
- Compilare il file TeX con tex yourfile.tex per generare il file DVI.
Sommario
La conversione di texi files in dvi è meglio realizzata usando texi2dvi, disponibile nelle principali distribuzioni TeX. Questo garantisce una conversione accurata ed efficiente della documentazione per la stampa o ulteriori elaborazioni.
Nota: questo record di conversione da texi a dvi è incompleto, deve essere verificato e potrebbe contenere inesattezze. Vota qui sotto se hai trovato utili o meno queste informazioni.
