DVI significa file indipendente dal dispositivo (DeVice Independent). Questi file sono prodotti da TEX o LATEX per essere letti da un driver sul sistema. Ci sono molte destinazioni a cui si può inviare un .dvi, come una stampante, un convertitore in file PostScript® o PDF, o il monitor.
Hai già visto come visualizzare un file DVI su schermo usando il pulsante nella barra degli strumenti.
Per stampare un DVI puoi usare lo stesso processo che hai usato per creare il documento prima (vedi Uso di Kile). Al passo 7, dopo aver fatto clic su , seleziona → nel visore, e se hai configurato correttamente la stampante, potrai stampare il file DVI.