Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 0fb0cca860e709a93f047e372d1cb5a4a7a76ca2..8abfdb94108eeea5de3bab8f5c3bc8c4d53120d5 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,13 +1,12 @@
 /*~
 /.dirstamp
-/Makefile
-/Makefile.in
 /bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn
+/bison.help
 /bison.html
 /bison.info
 /bison.ky