*** src/Screen.cc.orig	2003-06-16 09:46:36.000000000 -0700
--- src/Screen.cc	2003-06-16 09:48:15.000000000 -0700
***************
*** 2336,2341 ****
--- 2336,2345 ----
          if (fname[fname.size()-1] == '~' || fname[0] == '.')
              continue;
  
+         //ignore RCS files
+         if (fname[fname.size()-1] == 'v' && fname[fname.size()-2] == ',')
+             continue;
+ 
          string style = stylesdir;
          style += '/';
          style += fname;