doc: add missing documentation for --report

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 294a00d0e75ba0caee2933a6f142a2fc4f93b17a..0fb0cca860e709a93f047e372d1cb5a4a7a76ca2 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,10 +1,15 @@
+/*~
+/.dirstamp
 /Makefile
+/Makefile.in
+/bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn
 /bison.html
+/bison.info
 /bison.ky
 /bison.log
 /bison.pdf
@@ -14,11 +19,12 @@
 /bison.tp
 /bison.vr
 /cross-options.texi
-/Makefile.in
+/fdl.texi
+/gendocs_template
+/gpl-3.0.texi
 /refcard.dvi
 /refcard.log
 /refcard.ps
-/*.info*
 /stamp-vti
 /version.texi
 /yacc.1