Converter TEXI para DVI

Compreendendo os formatos de arquivo texi e 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.

Como converter texi para dvi

Para converter um texi (Texinfo) file para um dvi file, você precisa processar a fonte Texinfo em um arquivo TeX e depois compilá-lo para DVI. Isso geralmente é feito em duas etapas:

1. Use a ferramenta de linha de comando texi2dvi, que automatiza a conversão de Texinfo para DVI.
2. Alternativamente, converta manualmente o arquivo Texinfo para TeX usando makeinfo --tex, depois compile o arquivo TeX resultante com tex ou latex para gerar um arquivo DVI.

Software recomendado para conversão de texi para dvi

A melhor e mais simples ferramenta para essa conversão é texi2dvi, que está incluída na maioria das distribuições de TeX, como TeX Live e MiKTeX. Ela realiza todas as etapas necessárias automaticamente.

• TeX Live (multiplataforma): Inclui texi2dvi e todas as dependências.
• MiKTeX (Windows): Também suporta texi2dvi.

Para converter, abra um terminal ou prompt de comando e execute:

texi2dvi yourfile.texi

Isso gerará yourfile.dvi no mesmo diretório.

Método alternativo usando makeinfo e tex

1. Execute makeinfo --tex yourfile.texi para gerar um arquivo TeX.
2. Compile o arquivo TeX com tex yourfile.tex para gerar o arquivo DVI.

Resumo

Converter texi files para dvi é melhor realizado usando texi2dvi, que está disponível nas principais distribuições de TeX. Isso garante uma conversão precisa e eficiente da documentação para impressão ou processamento adicional.