diff --git a/.gitignore b/.gitignore
index 7dbd017..9a72032 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@
 *.cb
 *.cb2
 .*.lb
+.*tmp
 
 ## Intermediate documents:
 *.dvi