Add "make web" for making a PDF with reduced DPI.