Fichiers DVI

DVI signifie fichier DeVice Independent (indépendant du périphérique). Ces fichiers sont produits par T_EX ou L^AT_EX afin d'être lus par un pilote sur votre ordinateur. Vous pouvez envoyer un .dvi vers un grand nombre de sorties, comme une imprimante, un convertisseur vers un fichier PostScript® ou PDF, ou l'écran de votre ordinateur.

Afficher un DVI

Vous avez déjà vu comment afficher un fichier DVI à l'écran en utilisant le bouton ViewDVI de la barre d'outils.

Imprimer un DVI

Pour imprimer un DVI, vous pouvez utiliser le même procédé que celui utilisé pour créer votre document précédemment (voir la section intitulée « Utilisation de Kile »). À l'étape 7, après avoir cliqué sur ViewDVI, choisissez Fichier->Imprimer dans l'afficheur, et si vous disposez d'une imprimante correctement configurée, vous pourrez imprimer le DVI.

Convertir les fichiers DVI

La barre d'outils fournit les options de conversion d'un fichier DVI vers d'autres formats. Une fois que vous avez créé un fichier DVI à partir de votre code source L^AT_EX, vous pourrez l'exporter au format de votre choix en utilisant les boutons de la barre d'outils.