diff --git a/.gitignore b/.gitignore
index 87836be..4297af2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
 
 main\.glsdefs
+
+main\.synctex\.gz\(busy\)