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