Comment manipuler un fichier DVI ?

• On peut sélectionner quelques pages d’un fichier DVI à l’aide de la commande dviselect.

• dviconcat permet de concaténer des fichiers DVI.

• dvidvi permet, en plus de selectionner, changer l’ordre et de tourner des pages, de créer des livrets en format A5…

• dvi2dvi permet de changer la police.

---

Sources

• Device independent file format,

• Is there any reason to compile to DVI rather than PDF these days?