Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 221cbd4404e366a8c193f9b3a04cd32830da1fb4..8abfdb94108eeea5de3bab8f5c3bc8c4d53120d5 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,4 +1,3 @@
-/*.info*

 /*~
 /.dirstamp
 /bison.1
 /*~
 /.dirstamp
 /bison.1


@@ -9,6 +8,7 @@
 /bison.fn
 /bison.help
 /bison.html
 /bison.fn
 /bison.help
 /bison.html

+/bison.info

 /bison.ky
 /bison.log
 /bison.pdf
 /bison.ky
 /bison.log
 /bison.pdf