diff --git a/.gitignore b/.gitignore
index 53dd296bb..80ad7672b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@
 *.toc
 *.*~
 *~
+temporalia