diff -r c50349d252b7 -r a069795f1060 Admin/makedist
--- a/Admin/makedist	Wed Sep 06 13:32:25 2000 +0200
+++ b/Admin/makedist	Wed Sep 06 16:54:12 2000 +0200
@@ -110,7 +110,8 @@
 cd "$DISTBASE"
 
 $EXPORT
-find . -name CVS -exec rm -rf {} \;
+find . -name CVS -print | xargs rm -rf
+find . -type d -a -empty -print | xargs rm -rf
 
 
 # build docs