Ignore more files

I do not care about this and it messes up `git status`, which I use to check, what is changed.
1 year ago · acef8a69d3
parent 5736c16956
commit acef8a69d3
1 changed files with 15 additions and 0 deletions
--- a/en/.gitignore
+++ b/en/.gitignore
@ -1 +1,16 @@
+# VeraPDF report
 verapdf_report.xml
+
+# Stuff generated during compilation
+*.aux
+*.log
+*.bbl
+*.blg
+*.lof
+*.lot
+*.out
+*.toc
+
+# The final artifacts are also generated
+thesis.pdf
+abstract.pdf