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.

fichiers/ascii-dvi/manipuler_un_fichier_dvi.txt · Dernière modification: 2018/12/09 12:21 par jejust
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0