DJGPP specific files added to EXTRA_DIST.

[bison.git] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 64f139a44a9f83249a29b509e414adfd219abab9..15442d897103b0f322ad0deea9cf670f64f17121 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,19 +1,22 @@
-ChangeLog

 Makefile
 Makefile

-Makefile.in

 bison.aux
 bison.cp
 bison.cps
 bison.dvi
 bison.fn
 bison.aux
 bison.cp
 bison.cps
 bison.dvi
 bison.fn

-bison.info
-bison.info-[0-9]*
+bison.html

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

+bison.pdf

 bison.pg
 bison.ps
 bison.toc
 bison.tp
 bison.vr
 bison.pg
 bison.ps
 bison.toc
 bison.tp
 bison.vr

+refcard.dvi
+refcard.log
+refcard.ps
+Makefile.in
+*.info*

 stamp-vti
 version.texi
 stamp-vti
 version.texi