Converti DVI in TEXI

Comprendere i formati di file DVI e TEXI

DVI (DeVice Independent) è un formato di file generato dal software di composizione tipografica TeX. Contiene istruzioni su come deve essere disposto un documento, ma non include i font o le immagini effettive. I file DVI sono utilizzati principalmente per visualizzare o stampare documenti creati con TeX o LaTeX.

TEXI (o .texi) sono file di origine per GNU Texinfo, un sistema di documentazione che produce manuali sia online che stampati. I file Texinfo sono scritti in un linguaggio di markup simile a TeX, ma sono specificamente progettati per creare documentazione software.

Perché convertire DVI in TEXI?

Convertire un file DVI in un file TEXI non è un flusso di lavoro comune, poiché DVI è un formato di output e TEXI è un formato di origine. Tuttavia, potresti aver bisogno di effettuare questa conversione se desideri recuperare o riutilizzare il contenuto di un documento DVI per l’uso nella documentazione Texinfo.

Come convertire DVI in TEXI

Non esiste uno strumento diretto e automatizzato che converta i file DVI nel formato TEXI, poiché i file DVI non conservano il markup o la struttura originale della fonte. Il processo di solito comporta due passaggi:

1. Estrazione del testo dal file DVI: Usa uno strumento come dvitype o dvi2tty per estrarre il testo semplice dal file DVI.
2. Ricostruzione manuale del file TEXI: Usa il testo estratto come base e aggiungi manualmente il markup Texinfo per creare un file TEXI valido.

Questo processo è principalmente manuale e può richiedere una modifica significativa, soprattutto per documenti complessi.

Software raccomandato per la conversione da DVI a TEXI

• dvitype: Un’utilità inclusa nella maggior parte delle distribuzioni TeX che converte i file DVI in un formato di testo leggibile dall’uomo.
• dvi2tty: Converte i file DVI in testo ASCII semplice, che può essere poi modificato e marcato come TEXI.
• GNU Emacs o Vim: Editor di testo utili per modificare manualmente e aggiungere il markup Texinfo al testo estratto.

Processo di conversione passo-passo

1. Apri un terminale ed esegui dvitype yourfile.dvi > output.txt o dvi2tty yourfile.dvi > output.txt.
2. Apri output.txt nel tuo editor di testo preferito.
3. Aggiungi manualmente i comandi e la struttura di Texinfo per creare un file TEXI valido.
4. Salva il file con estensione .texi.

Conclusione

Sebbene non esista un metodo diretto e automatizzato per convertire i file DVI in TEXI, puoi estrarre il testo e ricostruire manualmente la sorgente Texinfo. dvitype e dvi2tty sono i migliori strumenti per estrarre testo dai file DVI, e un buon editor di testo ti aiuterà ad aggiungere il markup Texinfo necessario.