Make git ignore the compiled pdfs #2

Closed
june wants to merge 1 commit from add-gitignore into main