| changeset 9880 | 3b63a8dd56e3 |
| parent 9876 | a069795f1060 |
| child 9920 | 9734f2717203 |
--- a/Admin/makedist Wed Sep 06 19:01:37 2000 +0200 +++ b/Admin/makedist Wed Sep 06 19:12:26 2000 +0200 @@ -111,7 +111,9 @@ $EXPORT find . -name CVS -print | xargs rm -rf -find . -type d -a -empty -print | xargs rm -rf +find . "(" -type d -a -empty ")" -print | xargs rm -f +find . "(" -type d -a -empty ")" -print | xargs rm -f +find . "(" -type d -a -empty ")" -print | xargs rm -f # build docs