Merge branch 'maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 62a4e1989d36defbb3b9d405bda2b60c7809077f..8abfdb94108eeea5de3bab8f5c3bc8c4d53120d5 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,11 +1,14 @@
-/*.info*
+/*~
+/.dirstamp

 /bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn
 /bison.1
 /bison.aux
 /bison.cp
 /bison.cps
 /bison.dvi
 /bison.fn

+/bison.help

 /bison.html
 /bison.html

+/bison.info

 /bison.ky
 /bison.log
 /bison.pdf
 /bison.ky
 /bison.log
 /bison.pdf


@@ -15,7 +18,9 @@
 /bison.tp
 /bison.vr
 /cross-options.texi
 /bison.tp
 /bison.vr
 /cross-options.texi

+/fdl.texi

 /gendocs_template
 /gendocs_template

+/gpl-3.0.texi

 /refcard.dvi
 /refcard.log
 /refcard.ps
 /refcard.dvi
 /refcard.log
 /refcard.ps