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