diff options
Diffstat (limited to 'doc/user')
-rw-r--r-- | doc/user/.cvsignore | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore index 346fe5e16d..bbf7de1754 100644 --- a/doc/user/.cvsignore +++ b/doc/user/.cvsignore @@ -1,3 +1,8 @@ +bsp.texi +clock.texi +concepts.texi +conf.texi +cpuuse.texi c_user c_user-? c_user-?? @@ -8,6 +13,9 @@ c_user.dvi c_user.fn c_user.fns c_user*.html +c_user.info +c_user.info-? +c_user.info-?? c_user.ky c_user.log c_user.pdf @@ -16,13 +24,33 @@ c_user.ps c_user.toc c_user.tp c_user.vr +datatypes.texi +dpmem.texi +event.texi +fatal.texi index.html +init.texi +intr.texi +io.texi Makefile Makefile.in mdate-sh +mp.texi +msg.texi +overview.texi +part.texi +region.texi rtems_footer.html rtems_header.html rtemspie.pdf +rtmon.texi +schedule.texi +sem.texi +signal.texi +stackchk.texi stamp-vti states.pdf +task.texi +timer.texi +userext.texi version.texi |