.gitignore: added rule for .pdf.mk files