8 # Remove all CVS directories, as some may be left when we put directories
9 # in EXTRA_DIST or 'include' them in distribution.
11 if test -d $distdir; then
12 find $distdir -name CVS -type d | xargs rm -rf
13 find $distdir -name Makefile -type f | xargs rm -f