Tanya :

Saya menemukan file dengan extension *.texi. Format file apakah itu ?

Jawab :

Pertanyaan ini membawa kita untuk mengenal tentang Texinfo, karena texi adalah salah satu format yang dipakai oleh Texinfo.

Texinfo adalah syntax pengetikkan yang digunakan untuk menghasilkan dokumen yang bisa digunakan secara online dan cetak. File dapat dikonversi ke dvi, html, pdf dll dan juga dalam bentuk format hypertext .info) hanya dengan menggunakan satu file sumber.

Texinfo diimplementasikan oleh suatu program komputer bernama Texinfo yang free dan bersifat open source oleh GNU Project dari Free Software Foundation.

Tujuan utama dari Texinfo adalah menyediakan cara yang mudah dalam menyediakan manual perangkat Lunak. Sama seperti sintak LaTeX, semua fitur normal dari sebuah buku, seperti bab, sub-bab, referensi silang, tabel dan indeks tersedia untuk digunakan di dalam dokumen. Menggunakan beragam generator output yang tersedia untuk Texinfo memungkinkan untuk menjadikan banyak tipe dokumentasi tetap up to date.

Mengkonversi file texi ke berbagai format

Secara sederhana berikut perintah-perintah yang dapat digunakan untuk mengkonversi sebuah file *.texi.

Ke format HTML

Perintah yang bisa digunakan :

makeinfo --html *.texi

Ke format PDF :

Perintah yang bisa digunakan

texi2pdf *.texi
texi2dvi --dvipdf *.texi

Catatan : Untuk melakukan konversi ke pdf anda mungkin akan memerlukan paket texlive atau texlive-full

Ke format DVI

Perintah yang bisa digunakan

texi2dvi *.texi

Demikian pengenalan singkat tentang Texinfo.

Selamat bereksplorasi. (rezaervani@gmail.com)

Artikel Lain yang Terkait :

.

Klik Disini untuk Info Lebih Lanjut

Iklan