diff --git a/.gitignore b/.gitignore
index abc579f77a7085891854d222dc1da27923dabd50..172e7519393b2b718667729530cf80cb5bff4da4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,4 +32,5 @@
 
 doc/**/*.pdf
 
+*.synctex.gz
 testenv/
diff --git a/doc/lastenheft/lastenheft.synctex.gz b/doc/lastenheft/lastenheft.synctex.gz
deleted file mode 100644
index 4aa9669f877f1c642e0ac5ee5540fb3788675242..0000000000000000000000000000000000000000
Binary files a/doc/lastenheft/lastenheft.synctex.gz and /dev/null differ