Do not install RCS or RCS.remote in the distribution.

diff --git a/etc/make_dist b/etc/make_dist
index c15b06aec39e5d1fed875e57497e7e7f84011f7a..91a5b8c5cfb072c1875cfc3ae886dd671d692743 100755 (executable)
--- a/etc/make_dist
+++ b/etc/make_dist
@@ -42,7 +42,7 @@ rm -f $tempfile
 # Clean up any unwanted files that might be around.
 cd $source
 foreach i (documentation etc makefiles libs)
-  find $destination/$i \( -name '.*~*' -o -name '#*' -o -name '*~*' -o -name '*.bin' -o -name '*.ext' -o -name '*.com' -o -name '*.elc' \) -exec rm -f {} \;
+  find $destination/$i \( -name '.*~*' -o -name '#*' -o -name '*~*' -o -name '*.bin' -o -name '*.ext' -o -name '*.com' -o -name '*.elc' -o -name 'RCS' -o -name 'RCS.remote' \) -exec rm -f {} \;
 end
 
 # Copy the primary source code by checking out reference copies from RCS.