Converter DVI para TEXI

Entendendo os formatos de arquivo DVI e TEXI

DVI (DeVice Independent) é um formato de arquivo gerado pelo software de composição tipográfica TeX. Ele contém instruções sobre como um documento deve ser disposto, mas não inclui as fontes ou imagens reais. Arquivos DVI são usados principalmente para visualização ou impressão de documentos criados com TeX ou LaTeX.

TEXI (ou .texi) são arquivos fonte do GNU Texinfo, um sistema de documentação que produz manuais online e impressos. Arquivos Texinfo são escritos em uma linguagem de marcação semelhante ao TeX, mas são especificamente projetados para criar documentação de software.

Por que converter DVI para TEXI?

Converter um arquivo DVI para um arquivo TEXI não é um fluxo de trabalho comum, pois DVI é um formato de saída e TEXI é um formato fonte. No entanto, você pode precisar fazer essa conversão se desejar recuperar ou reutilizar o conteúdo de um documento DVI para uso na documentação Texinfo.

Como converter DVI para TEXI

Não existe uma ferramenta direta e automatizada que converta arquivos DVI de volta para o formato TEXI, já que os arquivos DVI não retêm a marcação ou estrutura original da fonte. O processo geralmente envolve duas etapas:

1. Extrair texto do arquivo DVI: Use uma ferramenta como dvitype ou dvi2tty para extrair o texto simples do arquivo DVI.
2. Reconstruir manualmente o arquivo TEXI: Use o texto extraído como base e adicione manualmente a marcação Texinfo para criar um arquivo TEXI válido.

Esse processo é principalmente manual e pode exigir edição significativa, especialmente para documentos complexos.

Software recomendado para conversão de DVI para TEXI

• dvitype: Uma utilidade incluída na maioria das distribuições de TeX que converte arquivos DVI para um formato de texto legível.
• dvi2tty: Converte arquivos DVI para texto ASCII simples, que pode então ser editado e marcado como TEXI.
• GNU Emacs ou Vim: Editores de texto úteis para editar manualmente e adicionar a marcação Texinfo ao texto extraído.

Processo de conversão passo a passo

1. Abra um terminal e execute dvitype yourfile.dvi > output.txt ou dvi2tty yourfile.dvi > output.txt.
2. Abra output.txt no seu editor de texto preferido.
3. Adicione manualmente comandos e estrutura Texinfo para criar um arquivo TEXI válido.
4. Salve o arquivo com uma extensão .texi.

Conclusão

Embora não exista uma maneira direta e automatizada de converter arquivos DVI para TEXI, você pode extrair o texto e reconstruir manualmente a fonte Texinfo. dvitype e dvi2tty são as melhores ferramentas para extrair texto de arquivos DVI, e um bom editor de texto ajudará a adicionar a marcação Texinfo necessária.