| changeset 9876 | a069795f1060 |
| parent 9867 | bf8300fa4238 |
| child 9880 | 3b63a8dd56e3 |
| 9875:c50349d252b7 | 9876:a069795f1060 |
|---|---|
108 echo "###" |
108 echo "###" |
109 |
109 |
110 cd "$DISTBASE" |
110 cd "$DISTBASE" |
111 |
111 |
112 $EXPORT |
112 $EXPORT |
113 find . -name CVS -exec rm -rf {} \; |
113 find . -name CVS -print | xargs rm -rf |
114 find . -type d -a -empty -print | xargs rm -rf |
|
114 |
115 |
115 |
116 |
116 # build docs |
117 # build docs |
117 |
118 |
118 echo "###" |
119 echo "###" |