1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index f7438d0b..b9a5e7a1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 texinfo/*.html
+texinfo/*.info
 .dirstamp