Update.

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 48b9d5508be698f77d2a24006a974983012f9759..a7ca0f66cc19bc087572fb4c70caa67692109dd8 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,10 +1,10 @@
-*.ac *.acs
-*.at *.ats
+*.AC *.ACs
+*.AT *.ATs
 *.cp *.cps
 *.cv *.cvs
 *.ev *.evs
 *.fn *.fns
-*.ms *.mss
+*.MS *.MSs
 *.ov *.ovs
 *.pr *.prs
 *.vr *.vrs