Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 341c2b193225978ef1c6400a52c2f4b2f4a70948..221cbd4404e366a8c193f9b3a04cd32830da1fb4 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,12 +1,13 @@
 /*.info*
-/Makefile
-/Makefile.in
+/*~
+/.dirstamp
 /bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn
+/bison.help
 /bison.html
 /bison.ky
 /bison.log
@@ -17,7 +18,9 @@
 /bison.tp
 /bison.vr
 /cross-options.texi
+/fdl.texi
 /gendocs_template
+/gpl-3.0.texi
 /refcard.dvi
 /refcard.log
 /refcard.ps