rm -rf `find ${DISTDIR} -type d -name CVS`
rm -f `find ${DISTDIR} -type f -name '*~' -or -name '#*' -or -name '#*#'`
rm -f `find ${DISTDIR}/doc -type f -name \*.tex -or -name \*.aux -or \
rm -rf `find ${DISTDIR} -type d -name CVS`
rm -f `find ${DISTDIR} -type f -name '*~' -or -name '#*' -or -name '#*#'`
rm -f `find ${DISTDIR}/doc -type f -name \*.tex -or -name \*.aux -or \