From 48c23298bce15e692355ed23eaeea75bdbcf42d8 Mon Sep 17 00:00:00 2001 From: Tomek Kurcz Date: Mon, 21 Aug 2017 15:54:12 +0200 Subject: [PATCH] Git: ignore all texinfo .info* files --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 6b885ceee..5a8db3632 100644 --- a/.gitignore +++ b/.gitignore @@ -56,7 +56,7 @@ regressions/eformat-tests/*.txt *.tp* *.vr* /src/doc/new-doc/new-doc.pdf -/src/doc/new-doc/ecldoc.info +/src/doc/new-doc/ecldoc.info* /src/doc/new-doc/new-doc.ex /src/doc/new-doc/new-doc.exs /src/doc/new-doc/new-doc.ft