diff options
Diffstat (limited to 'doc/user/.cvsignore')
-rw-r--r-- | doc/user/.cvsignore | 76 |
1 files changed, 33 insertions, 43 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore index 093f79dd18..277e42468f 100644 --- a/doc/user/.cvsignore +++ b/doc/user/.cvsignore @@ -1,55 +1,45 @@ -c_user*.html -Makefile.in Makefile +Makefile.in bsp.texi -overview.texi -concepts.texi -init.texi -task.texi -intr.texi -clock.texi -timer.texi -sem.texi -msg.texi -event.texi -signal.texi -part.texi -region.texi -dpmem.texi -io.texi -fatal.texi -schedule.texi -rtmon.texi -userext.texi -conf.texi -mp.texi c_user -c_user-1 -c_user-2 -c_user-3 -c_user-4 -c_user-5 -c_user-6 -c_user-7 -c_user-8 -c_user-9 -c_user-10 -c_user-11 -c_user-12 -c_user.log -c_user.dvi +c_user*.html +c_user-? +c_user-?? c_user.aux c_user.cp +c_user.cps +c_user.dvi c_user.fn -c_user.vr -c_user.tp +c_user.fns c_user.ky +c_user.log +c_user.pdf c_user.pg +c_user.ps c_user.toc -c_user.cps -c_user.fns +c_user.tp +c_user.vr +clock.texi +concepts.texi +conf.texi +dpmem.texi +event.texi +fatal.texi index.html +init.texi +intr.texi +io.texi +mp.texi +msg.texi +overview.texi +part.texi +region.texi rtemspie.pdf +rtmon.texi +schedule.texi +sem.texi +signal.texi states.pdf -c_user.pdf -c_user.ps +task.texi +timer.texi +userext.texi |