both make html and make latex are done