Převod souboru DVI do TEXI

Pochopení formátů souborů DVI a TEXI

DVI (DeVice Independent) je formát souboru generovaný softwarem TeX pro sazbu textu. Obsahuje instrukce, jak má být dokument rozvržen, ale nezahrnuje skutečné fonty nebo obrázky. Soubory DVI se primárně používají pro zobrazení nebo tisk dokumentů vytvořených TeX nebo LaTeX.

TEXI (nebo .texi) soubory jsou zdrojové soubory pro GNU Texinfo, systém dokumentace, který vytváří jak online, tak tištěné návody. Soubory Texinfo jsou napsané v značkovacím jazyce podobném TeXu, ale jsou speciálně navrženy pro tvorbu softwarové dokumentace.

Proč převést DVI na TEXI?

Převod souboru DVI do TEXI není běžná pracovní sekvence, protože DVI je výstupní formát a TEXI je zdrojový formát. Nicméně, pokud potřebujete tento převod provést, například k obnovení nebo znovupoužití obsahu dokumentu DVI pro použití v Texinfo dokumentaci, může být užitečný.

Jak převést DVI na TEXI

Neexistuje žádný přímý, automatizovaný nástroj, který by převedl soubory DVI zpět do formátu TEXI, protože soubory DVI neobsahují původní značky nebo strukturu zdroje. Proces obvykle zahrnuje dva kroky:

1. Extrahovat text ze souboru DVI: Použijte nástroj jako dvitype nebo dvi2tty k extrakci prostého textu ze souboru DVI.
2. Ruční rekonstrukce souboru TEXI: Použijte extrahovaný text jako základ a ručně přidejte Texinfo značky k vytvoření platného souboru TEXI.

Tento proces je převážně ruční a může vyžadovat značné úpravy, zvláště u složitých dokumentů.

Doporučený software pro převod DVI na TEXI

• dvitype: Nástroj součástí většiny distribucí TeX, který převádí DVI soubory do čitelného textového formátu.
• dvi2tty: Převádí DVI soubory na prostý ASCII text, který lze dále upravovat a značkovat jako TEXI.
• GNU Emacs nebo Vim: Užitečné textové editory pro ruční úpravy a přidání Texinfo značek k extrahovanému textu.

Krok za krokem proces převodu

1. Otevřete terminál a spusťte dvitype yourfile.dvi > output.txt nebo dvi2tty yourfile.dvi > output.txt.
2. Otevřete output.txt v preferovaném textovém editoru.
3. Ručním přidáním Texinfo příkazů a struktury vytvořte platný soubor TEXI.
4. Uložte soubor s příponou .texi.

Závěr

Ačkoli neexistuje přímý, automatizovaný způsob, jak převést DVI soubory na TEXI, můžete extrahovat text a ručně rekonstruovat Texinfo zdroj. dvitype a dvi2tty jsou nejlepší nástroje pro extrakci textu ze souborů DVI, a dobrý textový editor vám pomůže přidat potřebné Texinfo značky.