DJGPP specific files added to EXTRA_DIST.

[bison.git] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 799ccae103d9a857521d12d20b14a3c6d523bb0a..15442d897103b0f322ad0deea9cf670f64f17121 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -4,8 +4,10 @@ bison.cp
 bison.cps
 bison.dvi
 bison.fn
+bison.html
 bison.ky
 bison.log
+bison.pdf
 bison.pg
 bison.ps
 bison.toc
@@ -15,3 +17,6 @@ refcard.dvi
 refcard.log
 refcard.ps
 Makefile.in
+*.info*
+stamp-vti
+version.texi