--- 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