Merge branch 'maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 2e7b3dfb5be7c3eddf2d58ab0eb11b5e15848a85..8abfdb94108eeea5de3bab8f5c3bc8c4d53120d5 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,28 +1,29 @@
-*.info*
-*~
-.dirstamp
-Makefile
-Makefile.in
-bison.1
-bison.aux
-bison.cp
-bison.cps
-bison.dvi
-bison.fn
-bison.html
-bison.ky
-bison.log
-bison.pdf
-bison.pg
-bison.ps
-bison.toc
-bison.tp
-bison.vr
-cross-options.texi
-gendocs_template
-refcard.dvi
-refcard.log
-refcard.ps
-stamp-vti
-version.texi
-yacc.1
+/*~
+/.dirstamp
+/bison.1
+/bison.aux
+/bison.cp
+/bison.cps
+/bison.dvi
+/bison.fn
+/bison.help
+/bison.html
+/bison.info
+/bison.ky
+/bison.log
+/bison.pdf
+/bison.pg
+/bison.ps
+/bison.toc
+/bison.tp
+/bison.vr
+/cross-options.texi
+/fdl.texi
+/gendocs_template
+/gpl-3.0.texi
+/refcard.dvi
+/refcard.log
+/refcard.ps
+/stamp-vti
+/version.texi
+/yacc.1