mo-create-public: rmdir+mkdir

diff --git a/mop/admin/mo-create-public.sh b/mop/admin/mo-create-public.sh
index a03d46013d5575c5c64cc34ac95c1198a22f6b28..ad81ae6c77cbabafd24c585351bd9b0bb69336e3 100644 (file)
--- a/mop/admin/mo-create-public.sh
+++ b/mop/admin/mo-create-public.sh
@@ -8,6 +8,8 @@ set -e
 echo "Populating $MO_ROOT/public"
 H=`pwd`
 M=`pwd`/../mop
+rm -rf $MO_ROOT/public
+mkdir $MO_ROOT/public
 cd $MO_ROOT/public
 
 rm -rf cf