]> git.saurik.com Git - bison.git/commitdiff
projects / bison.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 592bdad)
update files to ignore
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 4 Sep 2012 08:48:26 +0000 (10:48 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 4 Sep 2012 08:50:30 +0000 (10:50 +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 patch | blob | blame | history

diff --git a/doc/.gitignore b/doc/.gitignore
index 7be09c4db4f511ff05062c0b599b8867b586381b..0fb0cca860e709a93f047e372d1cb5a4a7a76ca2 100644 (file)
--- 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
bison