diff --git a/.gitignore b/.gitignore
index 10d2540ab..9a610fb62 100644
--- a/.gitignore
+++ b/.gitignore
@@ -446,3 +446,6 @@ scripts/make-folklist.py.bak
 noinfo/cavestats
 handbook/essentials.gpx
 essentials.gpx
+documents/bierbook/seshbook.synctex.gz
+documents/bierbook/bierbook.synctex.gz
+documents/bierbook/seshbook.log