diff options
Diffstat (limited to 'doc/develenv')
-rw-r--r-- | doc/develenv/.cvsignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/develenv/.cvsignore b/doc/develenv/.cvsignore index c3b9831dda..f27a82389e 100644 --- a/doc/develenv/.cvsignore +++ b/doc/develenv/.cvsignore @@ -4,6 +4,7 @@ develenv.cp develenv.dvi develenv.fn develenv*.html +develenv.info develenv.ky develenv.log develenv.pdf @@ -12,11 +13,14 @@ develenv.ps develenv.toc develenv.tp develenv.vr +direct.texi index.html Makefile Makefile.in mdate-sh rtems_footer.html rtems_header.html +sample.texi stamp-vti +utils.texi version.texi |