doc.dvi
doc.ps
