ignore tex pdfs