doc.dvi
doc.ps
doc.pdf
