Add "make html" and "make pdf".