Merge a few PDFs into one.