[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 1/2] update files to ignore
|
From: |
Akim Demaille |
|
Subject: |
[PATCH 1/2] update files to ignore |
|
Date: |
Tue, 4 Sep 2012 11:01:54 +0200 |
* doc/.gitignore: Don't ignore split info files as we don't split our
info file.
See <http://lists.gnu.org/archive/html/bug-bison/2012-08/msg00006.html>.
---
doc/.gitignore | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/.gitignore b/doc/.gitignore
index 7be09c4..0fb0cca 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,4 +1,3 @@
-/*.info*
/*~
/.dirstamp
/Makefile
@@ -10,6 +9,7 @@
/bison.dvi
/bison.fn
/bison.html
+/bison.info
/bison.ky
/bison.log
/bison.pdf
--
1.7.11.5