Comment manipuler un fichier DVI ?#
On peut sélectionner quelques pages d’un fichier DVI à l’aide de la commande
dviselect.dviconcatpermet de concaténer des fichiers DVI.dvidvipermet, en plus de selectionner, changer l’ordre et de tourner des pages, de créer des livrets en format A5…dvi2dvipermet de changer la police.