diff --git a/info/.gitignore b/info/.gitignore
index 5a1c4f591b1..af5e84cfeac 100644
--- a/info/.gitignore
+++ b/info/.gitignore
@@ -43,3 +43,4 @@ calc
 calc-[1-9]*
 eintr
 eintr-[1-9]*
+tramp