Admin/makedist
changeset 9880 3b63a8dd56e3
parent 9876 a069795f1060
child 9920 9734f2717203
equal deleted inserted replaced
9879:a1fcaf2d080d 9880:3b63a8dd56e3
   109 
   109 
   110 cd "$DISTBASE"
   110 cd "$DISTBASE"
   111 
   111 
   112 $EXPORT
   112 $EXPORT
   113 find . -name CVS -print | xargs rm -rf
   113 find . -name CVS -print | xargs rm -rf
   114 find . -type d -a -empty -print | xargs rm -rf
   114 find . "(" -type d -a -empty ")" -print | xargs rm -f
       
   115 find . "(" -type d -a -empty ")" -print | xargs rm -f
       
   116 find . "(" -type d -a -empty ")" -print | xargs rm -f
   115 
   117 
   116 
   118 
   117 # build docs
   119 # build docs
   118 
   120 
   119 echo "###"
   121 echo "###"