Admin/makedist
changeset 9876 a069795f1060
parent 9867 bf8300fa4238
child 9880 3b63a8dd56e3
equal deleted inserted replaced
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 "###"