diff options
| author | Dave Love <fx@gnu.org> | 2000-05-10 18:02:16 +0000 |
|---|---|---|
| committer | Dave Love <fx@gnu.org> | 2000-05-10 18:02:16 +0000 |
| commit | b992884d9f7fc0f3405c4d962d2b3367d8cca05b (patch) | |
| tree | fbdd83618259db3f94228865b91367c868a916b2 /Makefile.in | |
| parent | ac4c2e6b4de4e639a7d3e045b78acc96544842ca (diff) | |
| download | emacs-b992884d9f7fc0f3405c4d962d2b3367d8cca05b.tar.gz | |
(install-arch-indep): Filter CVS as well as RCS.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
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 |