Update generated dvi and pdf files