From 5f8c067ab79831d9c13c4155e8739f632cee320f Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sat, 5 Oct 2019 22:33:31 +0530
Subject: gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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