doc.dvi
