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:
