Konwertuj DVI na TEXI

Zrozumienie formatów plików DVI i TEXI

DVI (DeVice Independent) to format pliku generowany przez oprogramowanie do składu tekstu TeX. Zawiera instrukcje dotyczące układu dokumentu, ale nie zawiera rzeczywistych czcionek ani obrazów. Pliki DVI są głównie używane do przeglądania lub drukowania dokumentów stworzonych za pomocą TeX lub LaTeX.

TEXI (lub .texi) to pliki źródłowe dla GNU Texinfo, systemu dokumentacji, który tworzy zarówno podręczniki online, jak i drukowane. Pliki Texinfo są pisane w języku znaczników podobnym do TeX, ale są specjalnie zaprojektowane do tworzenia dokumentacji oprogramowania.

Dlaczego konwertować DVI na TEXI?

Konwersja pliku DVI na plik TEXI nie jest powszechnym procesem, ponieważ DVI jest formatem wyjściowym, a TEXI formatem źródłowym. Jednak może zajść potrzeba wykonania takiej konwersji, jeśli chcesz odzyskać lub ponownie wykorzystać zawartość dokumentu DVI do użycia w dokumentacji Texinfo.

Jak konwertować DVI na TEXI

Nie istnieje bezpośrednie, zautomatyzowane narzędzie do konwersji plików DVI z powrotem do formatu TEXI, ponieważ pliki DVI nie zachowują oryginalnego znacznika ani struktury źródła. Proces zazwyczaj obejmuje dwa kroki:

1. Wyodrębnij tekst z pliku DVI: Użyj narzędzia takiego jak dvitype lub dvi2tty, aby wyodrębnić czysty tekst z pliku DVI.
2. Ręcznie odtwórz plik TEXI: Użyj wyodrębnionego tekstu jako bazy i ręcznie dodaj znaczniki Texinfo, aby stworzyć poprawny plik TEXI.

Proces ten jest w dużej mierze manualny i może wymagać znacznej edycji, zwłaszcza w przypadku złożonych dokumentów.

Zalecane oprogramowanie do konwersji DVI na TEXI

• dvitype: Narzędzie dołączone do większości dystrybucji TeX, które konwertuje pliki DVI na czytelny dla człowieka format tekstowy.
• dvi2tty: Konwertuje pliki DVI na czysty tekst ASCII, który można następnie edytować i oznaczać jako TEXI.
• GNU Emacs lub Vim: Przydatne edytory tekstu do ręcznej edycji i dodawania znaczników Texinfo do wyodrębnionego tekstu.

Proces konwersji krok po kroku

1. Otwórz terminal i uruchom dvitype yourfile.dvi > output.txt lub dvi2tty yourfile.dvi > output.txt.
2. Otwórz output.txt w preferowanym edytorze tekstu.
3. Ręcznie dodaj polecenia i strukturę Texinfo, aby stworzyć poprawny plik TEXI.
4. Zapisz plik z rozszerzeniem .texi.

Podsumowanie

Chociaż nie ma bezpośredniego, zautomatyzowanego sposobu na konwersję plików DVI do TEXI, możesz wyodrębnić tekst i ręcznie odtworzyć źródło Texinfo. dvitype i dvi2tty to najlepsze narzędzia do wyodrębniania tekstu z plików DVI, a dobry edytor tekstu pomoże Ci dodać niezbędne znaczniki Texinfo.