Convertir DVI a TEXI

Comprendiendo los formatos de archivo DVI y TEXI

DVI (DeVice Independent) es un formato de archivo generado por el software de composición tipográfica TeX. Contiene instrucciones sobre cómo debe ser estructurado un documento, pero no incluye las fuentes ni imágenes reales. Los archivos DVI se utilizan principalmente para vista previa o impresión de documentos creados con TeX o LaTeX.

TEXI (o .texi)son archivos fuente para GNU Texinfo, un sistema de documentación que produce manuales tanto en línea como impresos. Los archivos Texinfo están escritos en un lenguaje de marcado similar a TeX, pero están específicamente diseñados para crear documentación de software.

¿Por qué convertir DVI a TEXI?

Convertir un archivo DVI a un archivo TEXI no es un flujo de trabajo habitual, ya que DVI es un formato de salida y TEXI es un formato fuente. Sin embargo, es posible que necesites realizar esta conversión si deseas recuperar o reutilizar el contenido de un documento DVI para su uso en documentación Texinfo.

Cómo convertir DVI a TEXI

No existe una herramienta automática y directa que convierta archivos DVI de vuelta a formato TEXI, ya que los archivos DVI no conservan el marcado original ni la estructura de la fuente. El proceso generalmente involucra dos pasos:

1. Extraer texto del archivo DVI: Usa una herramienta como dvitype o dvi2tty para extraer el texto plano del archivo DVI.
2. Reconstruir manualmente el archivo TEXI: Usa el texto extraído como base y añade manualmente el marcado Texinfo para crear un archivo TEXI válido.

Este proceso es mayormente manual y puede requerir una edición significativa, especialmente para documentos complejos.

Software recomendado para la conversión de DVI a TEXI

• dvitype: Una utilidad incluida en la mayoría de distribuciones de TeX que convierte archivos DVI a un formato de texto legible.
• dvi2tty: Convierte archivos DVI a texto ASCII plano, que luego puede ser editado y marcado como TEXI.
• GNU Emacs o Vim: Editores de texto útiles para editar manualmente y añadir marcado Texinfo al texto extraído.

Proceso de conversión paso a paso

1. Abre una terminal y ejecuta dvitype yourfile.dvi > output.txt o dvi2tty yourfile.dvi > output.txt.
2. Abre output.txt en tu editor de texto preferido.
3. Añade manualmente comandos y estructura Texinfo para crear un archivo TEXI válido.
4. Guarda el archivo con una extensión .texi.

Conclusión

Aunque no hay una forma automática y directa de convertir archivos DVI a TEXI, puedes extraer el texto y reconstruir manualmente la fuente Texinfo. dvitype y dvi2tty son las mejores herramientas para extraer texto de archivos DVI, y un buen editor de texto te ayudará a añadir el marcado Texinfo necesario.