Various DJGGP specific issues in /djgpp.

[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.cps
 bison.dvi
 bison.fn

+bison.html

 bison.ky
 bison.log
 bison.ky
 bison.log

+bison.pdf

 bison.pg
 bison.ps
 bison.toc
 bison.pg
 bison.ps
 bison.toc