# in EXTRA_DIST or 'include' them in distribution.
if test -d $distdir; then
- rm -rf `find $distdir -name CVS`
- rm -rf `find $distdir -name Makefile`
+ find $distdir -name CVS -type d | xargs rm -rf
+ find $distdir -name Makefile -type f | xargs rm -f
fi