ignore non-tex files (pdfs have been moved to dropbox)