Updated dvi and generated a pdf.