r1869: *** empty log message ***

diff --git a/make-dist.sh b/make-dist.sh
index 306e79b08ff243699cdd534c43ecb91b38e9235a..85f7c7943eadb383eed87fe8d447579ec36b0188 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -27,8 +27,8 @@ rm -rf ${DISTDIR} ${DEBDIR} ${DISTDIR}.zip
 cp -a ${TOPDIR} ${DISTDIR}
 
 # Remove junk from distribution dir
-find ${DISTDIR} -type f -name .cvsignore -exec rm {} \;
-find ${DISTDIR} -type d -name CVS | xargs rm -r
+find ${DISTDIR} -type f -name .cvsignore -exec rm -f {} \;
+find ${DISTDIR} -type d -name CVS | xargs rm -rf
 find ${DISTDIR} -type f -name *~ -or -name \#*  -or -name \#*\# |xargs rm -f
 find ${DISTDIR}/doc -type f -name *.tex -or -name *.aux -or \
     -name *.log -or -name *.out -or -name *.dvi | xargs rm -f