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.