DJGPP specific files added to EXTRA_DIST.

[bison.git] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 867820eec358a8053b430e4915347c86445bdc2a..15442d897103b0f322ad0deea9cf670f64f17121 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -4,6 +4,7 @@ bison.cp
 bison.cps
 bison.dvi
 bison.fn
+bison.html
 bison.ky
 bison.log
 bison.pdf