diff --git a/.gitignore b/.gitignore
index e942cb57da7ef10a7a97bf1c88ddb8482011a63f..461fcaaa5bda95393991c7b8b99f90405a764314 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,8 @@
 *.log
 /gtlc.pdf
 *.agdai
+*.fls
+*.fdb_latexmk
+*.synctex.gz
+*.out
+*.agda~