diff --git a/.gitignore b/.gitignore
index f7d80fcad2245efca25bd67e08596a1ced4781bc..e57c5b8c6b1cda1e2636869d3ed141b6aa119667 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ Testing
 *.out
 *.tdo
 *.toc
+*.synctex.gz
 
 # always consider files containing source code regardless of their name
 !*.cc