# Remove junk from distribution dir
pushd ${DISTDIR}
make distclean
-popd
-rm -f `find ${DISTDIR} -type f -name .cvsignore`
-rm -rf `find ${DISTDIR} -type d -name CVS`
-rm -f `find ${DISTDIR} -type f -name '*~' -or -name '.*~' -or \
+rm -f `find . -type f -name .cvsignore`
+rm -rf `find . -type d -name CVS`
+rm -f `find . -type f -name '*~' -or -name '.*~' -or \
-name '.#*' -or -name '#*#' -or -name '*.fig' -or -name '*.psd'`
-
-rm -rf ${DISTDIR}/images ${DISTDIR}/copy ${DISTDIR}/make-dist.sh
+rm -rf images copy make-dist.sh make-doc.sh doc
+popd
# Create original distribution archives
rm -rf ${DISTDIR}/debian