Konversi DVI menjadi TEXI

Memahami format file DVI dan TEXI

DVI (DeVice Independent) adalah format file yang dihasilkan oleh perangkat lunak typesetting TeX. File ini berisi instruksi tentang bagaimana sebuah dokumen harus disusun, tetapi tidak menyertakan font atau gambar yang sebenarnya. File DVI terutama digunakan untuk melihat atau mencetak dokumen yang dibuat dengan TeX atau LaTeX.

TEXI (atau .texi) adalah file sumber untuk GNU Texinfo, sebuah sistem dokumentasi yang menghasilkan manual online maupun cetak. File Texinfo ditulis dalam bahasa markup yang mirip dengan TeX, tetapi dirancang khusus untuk membuat dokumentasi perangkat lunak.

Mengapa mengonversi DVI ke TEXI?

Mengonversi file DVI ke file TEXI bukanlah alur kerja yang umum, karena DVI merupakan format output dan TEXI adalah format sumber. Namun, Anda mungkin perlu melakukan konversi ini jika ingin memulihkan atau menggunakan kembali isi dari dokumen DVI untuk digunakan dalam dokumentasi Texinfo.

Cara mengonversi DVI ke TEXI

Tidak ada alat otomatis langsung yang mengonversi file DVI kembali ke format TEXI, karena file DVI tidak menyimpan markup asli atau struktur dari sumbernya. Prosesnya biasanya melibatkan dua langkah:

1. Ekstrak teks dari file DVI: Gunakan alat seperti dvitype atau dvi2tty untuk mengekstrak teks polos dari file DVI.
2. Membangun kembali file TEXI secara manual: Gunakan teks yang sudah diekstrak sebagai dasar dan tambahkan markup Texinfo secara manual untuk membuat file TEXI yang valid.

Proses ini sebagian besar manual dan mungkin membutuhkan penyuntingan yang cukup besar, terutama untuk dokumen yang kompleks.

Perangkat lunak yang disarankan untuk konversi DVI ke TEXI

• dvitype: Utilitas yang disertakan dalam sebagian besar distribusi TeX yang mengubah file DVI menjadi format teks yang dapat dibaca manusia.
• dvi2tty: Mengonversi file DVI menjadi teks ASCII polos, yang kemudian dapat diedit dan diberi markup sebagai TEXI.
• GNU Emacs atau Vim: Penyunting teks yang berguna untuk mengedit secara manual dan menambahkan markup Texinfo ke teks yang diekstrak.

Langkah-langkah proses konversi

1. Buka terminal dan jalankan dvitype yourfile.dvi > output.txt atau dvi2tty yourfile.dvi > output.txt.
2. Buka output.txt di penyunting teks pilihan Anda.
3. Tambahkan perintah dan struktur Texinfo secara manual untuk membuat file TEXI yang valid.
4. Simpan file dengan ekstensi .texi.

Kesimpulan

Meskipun tidak ada cara otomatis langsung untuk mengonversi file DVI ke TEXI, Anda dapat mengekstrak teks dan secara manual membangun kembali sumber Texinfo. dvitype dan dvi2tty adalah alat terbaik untuk mengekstrak teks dari file DVI, dan penyunting teks yang baik akan membantu Anda menambahkan markup Texinfo yang diperlukan.