doc.dvi
doc.pdf
