update files to ignore

* 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>.
This commit is contained in:
Akim Demaille
2012-09-04 10:48:26 +02:00
parent 592bdad15e
commit 76e5017732

2
doc/.gitignore vendored
View File

@@ -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