DJGPP specific files added to EXTRA_DIST.

[bison.git] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 58c9e636b4ee927dd1ae4b843f4950ec2d4c1308..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