Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 09095a4c357cacb25a582cb686b708e0fa106f2e..8abfdb94108eeea5de3bab8f5c3bc8c4d53120d5 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,15 +1,14 @@
-/*.info*
 /*~
 /.dirstamp
-/Makefile
-/Makefile.in
 /bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn
+/bison.help
 /bison.html
+/bison.info
 /bison.ky
 /bison.log
 /bison.pdf
@@ -21,6 +20,7 @@
 /cross-options.texi
 /fdl.texi
 /gendocs_template
+/gpl-3.0.texi
 /refcard.dvi
 /refcard.log
 /refcard.ps