Comment manipuler un fichier DVI?

$\Reponse$ On peut sélectionner quelques pages d'un fichier DVI à l'aide de la commande dviselect.

$\Reponse$ dviconcat permet de concaténer des fichiers DVI.

$\Reponse$ dvidvi permet, en plus de selectionner, changer l'ordre et de tourner des pages, de créer des livrets en format A5…

$\Reponse$ dvi2dvi permet de changer la police.


Sources:

5_fichiers/dvi/manipuler_un_fichier_dvi.txt · Dernière modification: 2021/05/24 20:25 par jejust
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0