diff Makefile.in @ 28850:1fdfc579d0bd

(install-arch-indep): Filter CVS as well as RCS.
author Dave Love <fx@gnu.org>
date Wed, 10 May 2000 18:01:39 +0000
parents 4619454313ce
children e4bac51dfe65
line wrap: on
line diff
--- a/Makefile.in	Wed May 10 09:35:14 2000 +0000
+++ b/Makefile.in	Wed May 10 18:01:39 2000 +0000
@@ -337,7 +337,7 @@
 	  && (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 @@
 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