diff --git a/help/manual/.gitignore b/help/manual/.gitignore
index 4c0ef4d0..a0bdface 100644
--- a/help/manual/.gitignore
+++ b/help/manual/.gitignore
@@ -3,3 +3,4 @@
 *.out
 *.toc
 *.pdf
+*.synctex.gz