Makefile.m4: Make the PDF document using PDFTeX.