Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 7be09c4db4f511ff05062c0b599b8867b586381b..221cbd4404e366a8c193f9b3a04cd32830da1fb4 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,14 +1,13 @@
 /*.info*
 /*~
 /.dirstamp
-/Makefile
-/Makefile.in
 /bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn
+/bison.help
 /bison.html
 /bison.ky
 /bison.log