Qu'est-ce qu'un pilote DVI?

Un pilote DVI (DVI driver en anglais) est un programme qui prend en entrée un fichier DVI et produit (généralement) un fichier dans un autre format, qui pourra être traité par un programme extérieur à l'écosystème TeX.

Un pilote peut être conçu pour produire une sortie destinée

  • à l'impression (du PostScript, par exemple),
  • à un traitement ultérieur (du PostScript encapsulé ou du PNG, par exemple pour inclusion dans un autre document),
  • ou à l'échange de documents (du PDF, par exemple).

Outre le fichier DVI, le pilote a généralement besoin d'informations sur les polices. Celles-ci peuvent être stockées sous forme de bitmaps ou de contours, ou simplement sous forme d'un ensemble de pointeurs vers les polices fournies par l'imprimante elle-même. Chaque pilote attend les informations de police sous un format particulier.

Pour plus d'information sur les formats de polices, voir les pages concernant: fichiers PK, les fichiers TFM, les fontes virtuelles et l'utilisation des fontes PostScript avec TeX.


Sources:

5_fichiers/dvi/qu_est_qu_un_pilote_dvi.txt · Dernière modification: 2021/03/10 15:23 par jejust
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0