(install-arch-indep): Filter CVS as well as RCS.

2 files changed, 6 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index 9600677090d..821bde9cd4b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2000-05-09  Dave Love  <fx@gnu.org>
+
+        * Makefile.in (install-arch-indep): Filter CVS as well as RCS.
+
 2000-05-05  Gerd Moellmann  <gerd@gnu.org>
 
         * make-dist: Make a link for lib-src/grep-changelog.  Copy
diff --git a/Makefile.in b/Makefile.in
index 738410ac683..cf60eecd2cf 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -337,7 +337,7 @@ install-arch-indep: mkdir info
           && (echo "Copying $${dir} to $${dest}..." ; \
               (cd $${dir}; tar -cf - . ) \
                 |(cd $${dest};umask 022; tar -xvf - && cat > /dev/null); \
-              for subdir in `find $${dest} -type d ! -name RCS -print` ; do \
+              for subdir in `find $${dest} -type d ! -name RCS ! -name CVS -print` ; do \
                 chmod a+rx $${subdir} ; \
                 rm -rf $${subdir}/RCS ; \
                 rm -rf $${subdir}/CVS ; \
@@ -611,7 +611,7 @@ check:
 dist:
         cd ${srcdir}; ./make-dist
 
-.PHONY: info dvi dist check
+.PHONY: info dvi dist check html
 force-info:
 info: force-info
         # Note that man/Makefile knows how to