| changeset 12986 | 58cd2ca93edc |
| parent 12721 | 226fc0e2e7e3 |
| child 13050 | 04deb0c8dcbe |
--- a/Admin/makedist Thu Feb 28 21:30:57 2002 +0100 +++ b/Admin/makedist Thu Feb 28 21:31:13 2002 +0100 @@ -118,6 +118,7 @@ $EXPORT $FIND . -name CVS -print | xargs rm -rf +$FIND . -name .cvsignore -print | xargs rm -rf $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf $FIND . "(" -type d -a -empty ")" -print | xargs rm -rf