Tout pilote ou prévisualiseur DVI génère des images matricielles (aussi nommées bitmap) : ils les utilisent pour placer de minuscules points sur du papier via une imprimante ou pour remplir une partie de votre écran. Cependant, il est généralement difficile d'extraire ces images autrement que par capture d'écran et la résolution est alors généralement assez mauvaise.
Pourquoi voudrait-on obtenir ces images ? Le plus souvent, ceci sert à inclure dans un document HTML généré à partir de la source tout ce qui ne peut pas être traduit en HTML. Parmi les cas courants se trouvent :
Dans le passé, la manière la plus courante de générer une image était de générer un fichier PostScript à partir du DVI, puis d'utiliser ghostscript
pour produire le format requis (éventuellement au moyen du format PNM ou quelque chose d'approchant). Cette procédure, qui a longtemps servi, s'avère fastidieuse et nécessite deux ou trois étapes qui s'exécutent lentement : elle n'est plus d'actualité.
L'ancien programme dvi2bitmap
génére à partir d'un fichier DVI les formats XBM, XPM, GIF (obsolète depuis longtemps) et PNG.
Le programme dvipng
était à l'origine un convertisseur PNG. À partir de la version 1.2, il peut également restituer le format GIF. Il est essentiellement pensé pour des conversions rapides dans des environnements qui génèrent un grand nombre de fichiers PNG. Notez que dvipng
donne un résultat de haute qualité même si ses opérations internes sont optimisées pour la vitesse.
Source : Generating bitmaps from DVI