Makefile.m4: Build PDF versions of the documents.